Bibliography# [Hol97]ManualKBMAG -- Knuth-Bendix in Monoids and Automatic GroupsDerek Holt1997 [Mar05]ArticleComputational problems in hyperbolic groupsDOIMRJ. MarshallInternat. J. Algebra Comput.Vol. 15(1)pp. 1–132005 [HRR17]BookGroups, languages and automataD. F. Holt, S. Rees, C. E. RöverCambridge University Press, CambridgeVol. 88pp. xi+2942017