Lower bounds for lengthening of proofs after cut-elimination (1982)

by V P Orevkov
Venue:J. Soviet Mathematics