D. Kozhemiachenko, “A Simulation of Natural Deduction and Gentzen Sequent Calculus”, LLP, vol. 27, no. 1, pp. 67–84, Apr. 2017.