From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction

Jan von Plato
Bulletin of the Section of Logic , 46 /1-2 (2017) s. 65-74