Enumerable sets are diophantine (1970)

by Y Matiyasevich
Venue:Journal of Sovietic Mathematics