and Nachum Dershowitz. Equational inference, canonical proofs and proof orderings (1994)

by Leo Bachmair
Venue:Journal of the ACM