Gittenberger B, Larcher I. Distribution of Variables in Lambda-Terms with Restrictions on De Bruijn Indices and De Bruijn Levels. Electron. J. Combin. [Internet]. 2019Dec.20 [cited 2026Mar.17];26(4):P4.47. Available from: https://www.combinatorics.org/ojs/index.php/eljc/article/view/v26i4p47