kbmag : a GAP 4 package - References

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.
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.
Derek F. Holt.
The warwick automatic groups software.
In Proceedings of DIMACS Conference on Computational Group Theory, Rutgers, March 1994., To appear.
P. LeChenadec.
Canonical Forms in Finitely Presented Algebras.
London Pitman and New York, Wiley, 1986.
Charles C. Sims.
Computation with Finitely Presented Groups.
Cambridge, 1994.


kbmag manual
February 2017