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.

HEO05
D. F. Holt, B. Eick, and E. O`Brien.
Handbook of Computational Group Theory.
Chapman and Hall/CRC, 2005.

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.

Jam12
Sebastian Jambor.
An L3-U3-quotient algorithm for finitely presented groups.
Phd thesis, RWTH Aachen University, 2012.

Jam15
S. Jambor.
An L2-quotient algorithm for finitely presented groups on arbitrarily many generators.
J. Algebra, 423:1109¿1142, 2015.

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.

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

V2.28, 13 July 2023