@misc{indiciae25d446bf5bf2, title = {Automatic Groups and Knuth-Bendix with Infinitely Many Rules}, author = {D. B. A. Epstein and Paul J. Sanders}, year = {1998}, url = {https://arxiv.org/abs/math/9805057}, note = {Source identifier: math/9805057} }