P. Płaczek, “Complexity of Nonassociative Lambek Calculus with Classical and Intuitionistic Logic”, B Sect Log, vol. 54, no. 4, pp. 577–605, Mar. 2026, doi: 10.18778/0138-0680.2025.18.