Proof by consistency in equational theories (1988)

by L Bachmair
Venue:In Proceedings 3rd IEEE Symposium on Logic in Computer Science, Edinburgh (UK