%0 Journal Article
%A Martini, Simone
%A Masini, Andrea
%A Zorzi, Margherita
%T Cut Elimination for Extended Sequent Calculi
%J Bulletin of the Section of Logic
%D 2023
%P 459-495
%V 52
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2023_52_4_a2/
%G en
%F BSL_2023_52_4_a2