TY  - RPRT
TI  - Knuth-Bendix for groups with infinitely many rules
AU  - D. B. A. Epstein
AU  - P. J. Sanders
PY  - 2000
UR  - https://arxiv.org/abs/math/0001035
ID  - math/0001035
ER  -