Cut-elimination in logics with definitional reflection (1992)

by P Schroeder-Heister
Venue:Wansing (Eds.), Nonclassical Logics and Information Processing, Vol. 619 of LNCS