Completion for rewriting modulo a congruence (1987)

by L Bachmair, N Dershowitz
Venue:Computer Science