Leo Bachmair, Nachum Dershowitz. Critical-pair criteria for the Knuth-Bendix completion procedure. In Bruce W. Char, editor, SYMSAC 1986, Proceedings of the Symposium on Symbolic and Algebraic Manipulation, Waterloo, Ontario, Canada, July 21-23, 1986. pages 215-217, ACM, 1986. [doi]
Abstract is missing.