Enumerable sets are Diophantine (1970)

by V Matiyasevich
Venue:Soviet Mathematics Doklady