Ilić, M. (2016) “An Alternative Natural Deduction for the Intuitionistic Propositional Logic”, Bulletin of the Section of Logic, 45(1), pp. 33–51. doi: 10.18778/0138-0680.45.1.03.