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