@misc{indiciae2dd0453af876, title = {Enumeration of generalized \$BCI\$ lambda-terms}, author = {Olivier Bodini and Danièle Gardy and Bernhard Gittenberger and Alice Jacquot}, year = {2013}, url = {https://arxiv.org/abs/1305.0640}, note = {Source identifier: 1305.0640} }