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]
kbmag manual
January 2016