Hiroshi Ohtsuka. A Proof of the Substitution Lemma in de Bruijn s Notation. Inf. Process. Lett., 46(2):63-66, 1993.
@article{Ohtsuka93, title = {A Proof of the Substitution Lemma in de Bruijn s Notation}, author = {Hiroshi Ohtsuka}, year = {1993}, researchr = {https://researchr.org/publication/Ohtsuka93}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {46}, number = {2}, pages = {63-66}, }