TY  - JOUR
AU  - Yu. V. Matiyasevich
TI  - Diophantine sets
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 1972
SP  - 124
EP  - 164
VL  - 27
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RM_1972_27_5_a2/
LA  - en
ID  - RM_1972_27_5_a2
ER  -