B. Gittenberger and I. Larcher, “Distribution of Variables in Lambda-Terms with Restrictions on De Bruijn Indices and De Bruijn Levels”, Electron. J. Combin., vol. 26, no. 4, p. P4.47, Dec. 2019.