%0 Journal Article
%A Indrzejczak, Andrzej
%T Cut Elimination Theorem for Non-Commutative Hypersequent Calculus
%J Bulletin of the Section of Logic
%D 2017
%V 46
%N 1-2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2017_46_1-2_a0/
%G en
%F BSL_2017_46_1-2_a0