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

by Leo Bachmair
Venue:Journal of the Association for Computing Machinery