Stepan L. Kuznetsov, “Complexity of the Lambek calculus and its extensions”, Stud. Comput. Intell., 1081 (2023), 1–29
Kanovich M., Kuznetsov S., Scedrov A., “The Multiplicative-Additive Lambek Calculus With Subexponential and Bracket Modalities”, J. Log. Lang. Inf., 30:1 (2021), 31–88
M. Kanovich, S. Kuznetsov, V. Nigam, A. Scedrov, “Subexponentials in non-commutative linear logic”, Math. Struct. Comput. Sci., 29:8, SI (2019), 1217–1249
Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “The complexity of multiplicative-additive Lambek calculus: 25 years later”, Lecture Notes in Comput. Sci., 11541 (2019), 356–372