Płaczek, Paweł. “Complexity of Nonassociative Lambek Calculus With Classical and Intuitionistic Logic”. Bulletin of the Section of Logic 54, no. 4 (March 13, 2026): 577–605. Accessed March 30, 2026. https://www.czasopisma.uni.lodz.pl/bulletin/article/view/24543.