%0 Journal Article
%A von Plato, Jan
%T From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction
%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_a2/
%G en
%F BSL_2017_46_1-2_a2