PŁACZEK, Paweł. Complexity of Nonassociative Lambek Calculus with Classical and Intuitionistic Logic. Bulletin of the Section of Logic, Poland, v. 54, n. 4, p. 577–605, 2026. DOI: 10.18778/0138-0680.2025.18. Disponível em: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/24543. Acesso em: 10 aug. 2026.