Groote: Strong normalization of classical natural deduction with disjunction (2001)

by P de
Venue:TLCA 2001, Lecture Notes in Computer Science (2044