GITTENBERGER, B.; LARCHER, I. Distribution of Variables in Lambda-Terms with Restrictions on De Bruijn Indices and De Bruijn Levels. The Electronic Journal of Combinatorics, v. 26, n. 4, p. P4.47, 20 Dec. 2019.