Minimal Complete Propositional Natural Deduction Systems. - Amr Elnashar; Wafik Boulos Lotfallah (J. Philos. Log., 2018)