Orderings for equational proofs (1986)

by L Bachmair, N Dershowitz, J Hsiang
Venue:Proceedings of the Symposium on Logic in Computer Science