Płaczek, Paweł. “One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity”. Bulletin of the Section of Logic 50, no. 1 (November 13, 2020): 55–80. Accessed December 8, 2025. https://czasopisma.uni.lodz.pl/bulletin/article/view/8117.