Kozhemiachenko, D. 2017. A Simulation of Natural Deduction and Gentzen Sequent Calculus. Logic and Logical Philosophy. 27, 1 (Apr. 2017), 67–84. DOI:https://doi.org/10.12775/LLP.2017.009.