@article{10.2307/2274135,
    Author = {J. P. Jones, Y. V. Matijasevi{\v c}},
    File = {Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerable Sets - J. P. Jones (0) (0) - a - a - r.pdf},
    ISSN = {00224812},
    Journal = {The Journal of Symbolic Logic},
    Number = {3},
    Pages = {818-829},
    Publisher = {Association for Symbolic Logic},
    Title = {Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerable Sets},
    URL = {http://www.jstor.org/stable/2274135},
    Volume = {49},
    Year = {1984},
    bdsk-url-1 = {http://www.jstor.org/stable/2274135},
    date-added = {2015-10-28 11:12:43 +0000},
    date-modified = {2015-10-28 11:12:43 +0000},
    doi = {10.2307/2274135}
}

@article{10.2307/2274135, Author = {J. P. Jones, Y. V. Matijasevi{\v c}}, File = {Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerable Sets - J. P. Jones (0) (0) - a - a - r.pdf}, ISSN = {00224812}, Journal = {The Journal of Symbolic Logic}, Number = {3}, Pages = {818-829}, Publisher = {Association for Symbolic Logic}, Title = {Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerable Sets}, URL = {http://www.jstor.org/stable/2274135}, Volume = {49}, Year = {1984}, bdsk-url-1 = {http://www.jstor.org/stable/2274135}, date-added = {2015-10-28 11:12:43 +0000}, date-modified = {2015-10-28 11:12:43 +0000}, doi = {10.2307/2274135} }