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 June 14, 2024. https://www.czasopisma.uni.lodz.pl/bulletin/article/view/8117.