# 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]