Buszkowski, W. Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity. B Sect Log 2017, 46, 75–91.