Completion for rewriting modulo a congruence (1988)

Cached

Download Links

by Leo Bachmair , Nachum Dershowitz
Citations:31 - 6 self