Maxim Vishnikin, Alexander Okhotin, “On the expressive power of categorial grammars with unique category assignment”, J of Log Lang and Inf, 2025
Stepan L. Kuznetsov, “Complexity of the Lambek calculus and its extensions”, Stud. Comput. Intell., 1081 (2023), 1–29
Tikhon Pshenitsyn, “From Double Pushout Grammars to Hypergraph Lambek Grammars With and Without Exponential Modality”, Electron. Proc. Theor. Comput. Sci., 377 (2023), 9
Степан Львович Кузнецов, Математические основы информатики и информационно-коммуникационных систем, 2021, 176