Likavec: Strong normaization of the classical dual sequent calculus (2005)

by D Dougherty, S Ghilezan, P Lescanne, F
Venue:LPAR 2005, Lecture Notes in Computer Science (3835