Proof-Theoretic Techniques for Term Rewriting Theory

Nachum Dershowitz, Mitsuhiro Okada

Browse the full LICS paper archive.