von Plato J. From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction. B Sect Log [Internet]. 2017 Jun. 30 [cited 2024 May 19];46(1/2):65–73. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/2930