Proof-theoretic techniques for term rewriting theory (1988)

by N Dershowitz, M Okada
Venue:3rd Annual Symposium on Logic In Computer Science, IEEE Computer Society