%0 Journal Article
%A Yu. V. Matiyasevich
%T Diophantine representation of enumerable predicates
%J Izvestiya. Mathematics 
%D 1971
%P 1-28
%V 5
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IM2_1971_5_1_a0/
%G en
%F IM2_1971_5_1_a0