%0 Journal Article
%A Płaczek, Paweł
%T One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
%J Bulletin of the Section of Logic
%D 2021
%P 55-80
%V 50
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2021_50_1_a2/
%G en
%F BSL_2021_50_1_a2