%0 Journal Article
%A V. P. Orevkov
%T Upper bounds for lengthening of proofs after cut-elimination
%J Zapiski Nauchnykh Seminarov POMI
%D 1984
%P 87-98
%V 137
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_1984_137_a4/
%G ru
%F ZNSL_1984_137_a4