Strong normalisation of cut-elimination in classical logic (2001)

by C Urban, G M Bierman
Venue:Fundam. Inf