D B A
Epstein, J W Cannon, D F Holt,
S V F Levy, M S Paterson,
W P Thurston, Word processing in groups,
Jones and Bartlett Publishers (1992) MR1161694
4
D B A
Epstein, D F Holt, S E Rees, The
use of Knuth–Bendix methods to solve the word problem in
automatic groups, J. Symbolic Comput. 12 (1991)
397–414 MR1146506
Computational group theory, Part 2
D F Holt, The
Warwick automatic groups software, from: "Geometric and
computational perspectives on infinite groups (Minneapolis, MN
and New Brunswick, NJ, 1994)", DIMACS Ser. Discrete Math.
Theoret. Comput. Sci. 25, Amer. Math. Soc. (1996) 69–82
MR1364180
J E Hopcroft,
J D Ullman, Introduction to automata theory,
languages, and computation, Addison-Wesley Publishing Co.,
Reading, MA (1979) MR645539
Addison-Wesley Series in Computer Science
11
D F Hurt, The
use of Knuth–Bendix methods and automatic coset systems
for solving the generalized word problem and finding subgroup
presentations, PhD thesis, University of Warwick
(1996)
12
I Kapovich,
Detecting quasiconvexity: algorithmic aspects, from:
"Geometric and computational perspectives on infinite groups
(Minneapolis, MN and New Brunswick, NJ, 1994)", DIMACS Ser.
Discrete Math. Theoret. Comput. Sci. 25, Amer. Math. Soc.
(1996) 91–99 MR1364182
13
R C Lyndon,
P E Schupp, Combinatorial group theory,
Ergebnisse der Mathematik und ihrer Grenzgebiete 89, Springer
(1977) MR0577064