@article{Matiyasevich:1980,
    Author = {Matiyasevich, Yu.V.},
    File = {A new proof of the theorem on exponential diophantine representation of enumerable sets - Matiyasevich (0) (0) - a - a - j.pdf},
    ISSN = {0090-4104},
    Journal = {Journal of Soviet Mathematics},
    Language = {English},
    Number = {5},
    Pages = {1475-1486},
    Publisher = {Kluwer Academic Publishers-Plenum Publishers},
    Title = {A new proof of the theorem on exponential diophantine representation of enumerable sets},
    URL = {http://dx.doi.org/10.1007/BF01693980},
    Volume = {14},
    Year = {1980},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BF01693980},
    date-added = {2015-10-28 11:12:04 +0000},
    date-modified = {2015-10-28 11:12:04 +0000},
    doi = {10.1007/BF01693980}
}

@article{Matiyasevich:1980, Author = {Matiyasevich, Yu.V.}, File = {A new proof of the theorem on exponential diophantine representation of enumerable sets - Matiyasevich (0) (0) - a - a - j.pdf}, ISSN = {0090-4104}, Journal = {Journal of Soviet Mathematics}, Language = {English}, Number = {5}, Pages = {1475-1486}, Publisher = {Kluwer Academic Publishers-Plenum Publishers}, Title = {A new proof of the theorem on exponential diophantine representation of enumerable sets}, URL = {http://dx.doi.org/10.1007/BF01693980}, Volume = {14}, Year = {1980}, bdsk-url-1 = {http://dx.doi.org/10.1007/BF01693980}, date-added = {2015-10-28 11:12:04 +0000}, date-modified = {2015-10-28 11:12:04 +0000}, doi = {10.1007/BF01693980} }