P. Płaczek, “One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity”, B Sect Log, vol. 50, no. 1, pp. 55–80, Nov. 2020.