Kozhemiachenko, Daniil. 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.