Leo Bachmair, Nachum Dershowitz. A critical pair criterion for completion modulo a congruence. In James H. Davenport, editor, EUROCAL 87, European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987, Proceedings. Volume 378 of Lecture Notes in Computer Science, pages 452-453, Springer, 1987.
Abstract is missing.