Olivier Bodini, Bernhard Gittenberger. BCK(2)-terms. In Michael Drmota, Mark Daniel Ward, editors, 2014 Proceedings of the Eleventh Workshop on Analytic Algorithmics and Combinatorics, ANALCO 2014, Portland, Oregon, USA, January 6, 2014. pages 25-39, SIAM, 2014. [doi]
Abstract is missing.