%0 Journal Article
%A Yu. V. Matiyasevich
%T The application of the methods of the theory of logical derivation to graph theory
%J Matematičeskie zametki
%D 1972
%P 781-790
%V 12
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1972_12_6_a15/
%G ru
%F MZM_1972_12_6_a15