Ilić, M. An Alternative Natural Deduction for the Intuitionistic Propositional Logic. B Sect Log 2016, 45, 33–51.