Buszkowski W. Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity. B Sect Log. 2017;46(1/2):75–91. doi:10.18778/0138-0680.46.1.2.07