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