KBMAG : a GAP 4 package - References

[ECHLPT92]

D.B.A. Epstein, J.W. Cannon, D.F. Holt, S. Levy, M.S. Paterson, and W.P. Thurston.
Word Processing and Group Theory.
Jones and Bartlett, 1992.

[EHR91]

D.F. Holt, D.B.A. Epstein, and S. Rees.
The use of knuth-bendix methods to solve the word problem in automatic groups.
J. Symbolic Computation, 12:397--414, 1991.

[Holt94]

Derek F. Holt.
The warwick automatic groups software.
In Proceedings of DIMACS Conference on Computational Group Theory, Rutgers, March 1994., To appear.

[LeC86]

P. LeChenadec.
Canonical Forms in Finitely Presented Algebras.
London Pitman and New York, Wiley, 1986.

[Sims94]

Charles C. Sims.
Computation with Finitely Presented Groups.
Cambridge, 1994.

[Up]