Buszkowski, Wojciech. “Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity”. Bulletin of the Section of Logic 46, no. 1/2 (June 30, 2017): 75–91. Accessed December 8, 2025. https://www.czasopisma.uni.lodz.pl/bulletin/article/view/2931.