Orderings for equational proofs (1986)

by Leo Bachmair, Nachum Dershowitz, Jieh Hsiang
Venue:In [First Annual] Symposium on Logic in Computer Science