Enumerable sets are Diophantine (1970)

by Y V Matiyasevich
Venue:Soviet Mathematics Doklady