Equational Inference, Canonical Proofs, And Proof Orderings (1992)

by Leo Bachmair , Nachum Dershowitz
Venue:Journal of the ACM
Citations:30 - 11 self