von Plato, Jan. “From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction”. Bulletin of the Section of Logic 46, no. 1/2 (June 30, 2017): 65–73. Accessed May 19, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/2930.