Proof-theoretic techniques and the theory of rewriting (1988)

by N Dershowitz, M Okada
Venue:Proc. of the Third Symposium on Logic in Computer Science