A Proof of the Substitution Lemma in de Bruijn's Notation.

Hiroshi Ohtsuka A Proof of the Substitution Lemma in de Bruijn's Notation. 63-66 1993 46 Inf. Process. Lett. 2 db/journals/ipl/ipl46.html#Ohtsuka93