Kozhemiachenko D. A Simulation of Natural Deduction and Gentzen Sequent Calculus. LLP [Internet]. 2017 Apr. 24 [cited 2024 Apr. 23];27(1):67-84. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2017.009