1987], Critical pair criteria for rewriting modulo a congruence (0)

by L Bachmair, N Dershowitz
Venue:of Lecture Notes in Computer Science