Proof of Termination of the Rewriting System SUBST on CCL, Theoretical Computer Science 46 (1986)

by T Hardin, A Laville
Venue:A Con uent Calculus of Substitutions, FranceJapan Arti cial Intelligence and Computer Science Symposium, Izu