Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent Calculus for Implicational Logic.

Roy Dyckhoff, Delia Kesner, Stphane Lengrand

Browse the full CADE paper archive.