Cut normal forms and proof complexity (1999)

by M Baaz, A Leitsch
Venue:Annals of Pure and Applied Logic