1: \begin{abstract}

2: We introduce a topological property for 

3: finitely generated groups

4: called \stkbl\ that

5: implies the existence of 

6: %provides?

7: an inductive procedure for constructing

8: van Kampen diagrams with respect to a

9: particular finite presentation. 

10: We also define \astkbl\ groups, for which

11: this procedure is an algorithm.

12: This property gives a common

13: model for algorithms arising from both rewriting

14: systems and almost convexity for groups.

15: %As a consequence the fundamental group

16: %of any closed 3-manifold with a uniform

17: %geometry is algorithmically stackable.

18: %We also bound \tfs\ for 

19: %groups admitting normal forms with a 

20: %fellow traveler property.  

21: %For a group with a finite complete rewriting system,

22: %the string growth complexity function is (up to 

23: %Lipschitz equivalence) an upper bound for both

24: %of these new invariants, and this result has

25: %application to the process of

26: %searching for finite complete 

27: %rewriting systems for groups.

28: \end{abstract}