W. Buszkowski, “Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity”, B Sect Log, vol. 46, no. 1/2, pp. 75–91, Jun. 2017.