Buszkowski, Wojciech. 2017. “Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity”. Bulletin of the Section of Logic 46 (1/2):75–91. https://doi.org/10.18778/0138-0680.46.1.2.07.