Gittenberger, Bernhard, and Isabella Larcher. 2019. “Distribution of Variables in Lambda-Terms With Restrictions on De Bruijn Indices and De Bruijn Levels”. The Electronic Journal of Combinatorics 26 (4), P4.47. https://doi.org/10.37236/8579.