@inbook{Matijasevic:2003,
    title = {Enumerable sets are Diophantine},
    isbn = {9789812564894},
    url = {http://dx.doi.org/10.1142/9789812564894_0013},
    doi = {10.1142/9789812564894_0013},
    booktitle = {Mathematical Logic in the 20th Century},
    publisher = {CO-PUBLISHED WITH SINGAPORE UNIVERSITY PRESS},
    author = {Matijasevič, Ju. V.},
    year = {2003},
    month = {aug},
    pages = {269--273},
    date-added = {2024-10-15 17:18:28 +0100}
}

@inbook{Matijasevic:2003, title = {Enumerable sets are Diophantine}, isbn = {9789812564894}, url = {http://dx.doi.org/10.1142/9789812564894_0013}, doi = {10.1142/9789812564894_0013}, booktitle = {Mathematical Logic in the 20th Century}, publisher = {CO-PUBLISHED WITH SINGAPORE UNIVERSITY PRESS}, author = {Matijasevič, Ju. V.}, year = {2003}, month = {aug}, pages = {269--273}, date-added = {2024-10-15 17:18:28 +0100} }