"A Strong Normalization Result for Classical Logic."

Franco Barbanera, Stefano Berardi (1995)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics