Płaczek P. One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity. B Sect Log [Internet]. 2020 Nov. 13 [cited 2026 Feb. 26];50(1):55-80. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/8117