M. Ilić, “An Alternative Natural Deduction for the Intuitionistic Propositional Logic”, B Sect Log, vol. 45, no. 1, pp. 33–51, Mar. 2016.