Bibliography

AR84

D. G. Arrell and E. F. Robertson.
A modified Todd-Coxeter algorithm.
In Computational group theory (Durham, 1982), pages 27--32. Academic Press, London, 1984.

CDHW73

John J. Cannon, Lucien A. Dimino, George Havas, and Jane M. Watson.
Implementation and analysis of the Todd-Coxeter algorithm.
Math. Comp., 27:463--490, 1973.

Hav91

G. Havas.
Coset enumeration strategies.
In ISSAC'91, pages 191--199. ACM Press, 1991.

HKRR84

George Havas, P. E. Kenne, J. S. Richardson, and E. F. Robertson.
A Tietze transformation program.
In Computational group theory (Durham, 1982), pages 69--73. Academic Press, London, 1984.

MKS76

Wilhelm Magnus, Abraham Karrass, and Donald Solitar.
Combinatorial group theory.
Dover Publications Inc., New York, revised edition, 1976.
Presentations of groups in terms of generators and relations.

Nic96

Werner Nickel.
Computing nilpotent quotients of finitely presented groups.
In Geometric and computational perspectives on infinite groups (Minneapolis, MN and New Brunswick, NJ, 1994), pages 175--191. Amer. Math. Soc., Providence, RI, 1996.

NO96

M. F. Newman and E. A. O'Brien.
Application of computers to questions like those of Burnside. II.
Internat. J. Algebra Comput., 6(5):593--605, 1996.

Ram

Colin Ramsay.
ACE.
http://www.csee.uq.edu.au/~cram/.

Sim94

Charles C. Sims.
Computation with finitely presented groups.
Cambridge University Press, Cambridge, 1994.