[ECH+92] Epstein, D. B. A., Cannon, J. W., Holt, D. F., Levy, S., Paterson, M. S. and Thurston, W. P., Word Processing and Group Theory, Jones and Bartlett (1992).
[GH17] Gutsche, S. and Horn, M.,
AutoDoc - Generate documentation from GAP source code
(Version 2017.09.15)
(2017)
(GAP package, \href
{https://github.com/gap-packages/AutoDoc}
{\texttt{https://github.com/}\discretionary
{}{}{}\texttt{gap-packages/}\discretionary
{}{}{}\texttt{AutoDoc}}).
[HER91] Holt, D. F., Epstein, D. B. A. and Rees, S., The use of Knuth-Bendix methods to solve the word problem in automatic groups, J. Symbolic Computation, 12 (1991), 397--414.
[Holar] Holt, D. F., The Warwick Automatic Groups Software, in Proceedings of DIMACS Conference on Computational Group Theory, Rutgers, March 1994. (To appear).
[Hor17] Horn, M.,
GitHubPagesForGAP - Template for easily using GitHub
Pages within GAP packages (Version 0.2)
(2017)
(GAP package, \href
{https://gap-system.github.io/GitHubPagesForGAP/}
{\texttt{https://gap-system.github.io/}\discretionary
{}{}{}\texttt{GitHubPagesForGAP/}}).
[LeC86] LeChenadec, P., Canonical Forms in Finitely Presented Algebras, London Pitman and New York, Wiley (1986).
[LN17] L{\"u}beck, F. and Neunh{\"o}ffer, M.,
GAPDoc (Version 1.6),
RWTH Aachen
(2017)
(GAP package, \href
{http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/index.html}
{\texttt{http://www.math.rwth-aachen.de/}\discretionary
{}{}{}\texttt{\texttt{\symbol{126}}Frank.Luebeck/}\discretionary
{}{}{}\texttt{GAPDoc/}\discretionary
{}{}{}\texttt{index.html}}).
[Sim94] Sims, C. C., Computation with Finitely Presented Groups, Cambridge (1994).
generated by GAPDoc2HTML