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