The taming of the cut. Classical refutations with analytic cut (1994)

by Marcello D'Agostino, Marco Mondadori
Venue:Logic and Computation