Płaczek, Paweł. “Complexity of Nonassociative Lambek Calculus With Classical and Intuitionistic Logic”. Bulletin of the Section of Logic, vol. 54, no. 4, Mar. 2026, pp. 577–605, https://doi.org/10.18778/0138-0680.2025.18.