Bodini, Olivier, Danièle Gardy, Bernhard Gittenberger, and Alice Jacquot. 2013. “Enumeration of Generalized $BCI$ Lambda-Terms”. The Electronic Journal of Combinatorics 20 (4), #P30. https://doi.org/10.37236/3051.