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