Bodini O, Gardy D, Gittenberger B, Jacquot A. Enumeration of Generalized $BCI$ Lambda-terms. Electron. J. Combin. [Internet]. 2013Dec.17 [cited 2026Apr.18];20(4):#P30. Available from: https://www.combinatorics.org/ojs/index.php/eljc/article/view/v20i4p30