normal forms and proof complexity (1999)

by Cut
Venue:Annals of Pure and Applied Logic