Gittenberger, B., & Larcher, I. (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