Bodini, O.; Gardy, D.; Gittenberger, B.; Jacquot, A. Enumeration of Generalized $BCI$ Lambda-Terms. Electron. J. Combin. 2013, 20, #P30.