The lower bounds of complexity the deductions increasing after cut elimination (1979)

by V P Orevkov
Venue:In: Zapiski nauchnych seminarov LOMI AN SSSR, 88, 137--162. (In Russian