Leitsch: Cut-Elimination and Redundancy-Elimination by Resolution (2000)

by M Baaz, A
Venue:Journal of Symbolic Computation