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