KOZHEMIACHENKO, Daniil. A Simulation of Natural Deduction and Gentzen Sequent Calculus. Logic and Logical Philosophy. Online. 24 April 2017. Vol. 27, no. 1, pp. 67-84. [Accessed 26 December 2025]. DOI 10.12775/LLP.2017.009.