Kozhemiachenko, D. A Simulation of Natural Deduction and Gentzen Sequent Calculus. LLP 2017, 27, 67-84.