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, 28 February 2025