Bibliography

Hol97
Derek Holt.
KBMAG -- Knuth-Bendix in Monoids and Automatic Groups.
University of Warwick, 1997.

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

V2.28, 13 July 2023