von Plato, J. From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction. B Sect Log 2017, 46, 65–73.