A Simple Non-Termination Test for the Knuth-Bendix Method.

David A. Plaisted A Simple Non-Termination Test for the Knuth-Bendix Method. 79-88 1986 conf/cade/1986 CADE db/conf/cade/cade86.html#Plaisted86 http://dx.doi.org/10.1007/3-540-16780-3_81