TY  - RPRT
TI  - A semantical proof of the strong normalization theorem for full propositional classical natural deduction
AU  - Karim Nour
AU  - Khelifa Saber
PY  - 2009
UR  - https://arxiv.org/abs/0905.0358
ID  - 0905.0358
ER  -