Bodini, O., Gardy, D., Gittenberger, B., & Jacquot, A. (2013). Enumeration of Generalized $BCI$ Lambda-terms. The Electronic Journal of Combinatorics, 20(4), #P30. https://doi.org/10.37236/3051