Nachum Dershowitz Mitsuhiro Okada Proof-Theoretic Techniques for Term Rewriting Theory 104-111 conf/lics/LICS3 1988 LICS db/conf/lics/lics88.html#DershowitzO88