Knuth-Bendix For Groups With Infinitely Many Rules. - David B. A. Epstein; Paul J. Sanders (Int. J. Algebra Comput., 2000)