PŁACZEK, P. One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity. Bulletin of the Section of Logic, [S. l.], v. 50, n. 1, p. 55–80, 2020. DOI: 10.18778/0138-0680.2020.25. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/8117. Acesso em: 3 may. 2024.