Ilić, M. An Alternative Natural Deduction for the Intuitionistic Propositional Logic. B Sect Log 2016, 45 (1), 33–51. https://doi.org/10.18778/0138-0680.45.1.03.