David Bernard Alper Epstein Paul J. Sanders Knuth-Bendix For Groups With Infinitely Many Rules. 539-590 2000 10 IJAC 5 http://dx.doi.org/10.1142/S0218196700000352 db/journals/ijac/ijac10.html#EpsteinS00