Kozhemiachenko, D. “A Simulation of Natural Deduction and Gentzen Sequent Calculus”. Logic and Logical Philosophy, vol. 27, no. 1, Apr. 2017, pp. 67-84, doi:10.12775/LLP.2017.009.