A short proof of the Strong Normalization of Classical Natural Deduction with Disjunction - René David; Karim Nour (2009)