TY  - JOUR
AU  - V. P. Orevkov
TI  - Upper bounds for lengthening of proofs after cut-elimination
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 1984
SP  - 87
EP  - 98
VL  - 137
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_1984_137_a4/
LA  - ru
ID  - ZNSL_1984_137_a4
ER  -