Karim Nour Khelifa Saber A semantical proof of the strong normalization theorem for full propositional classical natural deduction. 357-364 2006 45 Arch. Math. Log. 3 http://dx.doi.org/10.1007/s00153-005-0314-y db/journals/aml/aml45.html#NourS06