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