Henrik Linnestad Fatal Steps of Knuth-Bendix Completion. Nordic Journal of Computing. 131-143 1996 3 Nord. J. Comput. 2 db/journals/njc/njc3.html#Linnestad96