Cut-elimination in logics with definitional reflection (1992)

by P Schroeder-Heister
Venue:Nonclassical Logics and Information Processing, volume 619 of LNCS