Gittenberger, Bernhard, and Isabella Larcher. “Distribution of Variables in Lambda-Terms With Restrictions on De Bruijn Indices and De Bruijn Levels”. The Electronic Journal of Combinatorics 26, no. 4 (December 20, 2019): P4.47. Accessed March 17, 2026. https://www.combinatorics.org/ojs/index.php/eljc/article/view/v26i4p47.