Knuth-Bendix For Groups With Infinitely Many Rules