%0 Journal Article
%A V. P. Orevkov
%T Reconstruction of a proof by its scheme
%J Doklady Akademii Nauk
%D 1987
%P 313-316
%V 293
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1987_293_2_a11/
%G ru
%F DAN_1987_293_2_a11