"Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent ..."

Roy Dyckhoff, Delia Kesner, Stéphane Lengrand (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics