The taming of the cut: classical refutations with analytic cut (1994)

by Marcello D’Agostino, Marco Mondadori
Venue:Journal of Logic and Computation