@article{Davis_1961,
    doi = {10.2307/1970289},
    url = {https://doi.org/10.2307%2F1970289},
    year = {1961},
    month = {nov},
    publisher = {{JSTOR}},
    volume = {74},
    number = {3},
    pages = {425},
    author = {Martin Davis and Hilary Putnam and Julia Robinson},
    title = {The Decision Problem for Exponential Diophantine Equations},
    journal = {The Annals of Mathematics}
}

@article{Davis_1961, doi = {10.2307/1970289}, url = {https://doi.org/10.2307%2F1970289}, year = {1961}, month = {nov}, publisher = {{JSTOR}}, volume = {74}, number = {3}, pages = {425}, author = {Martin Davis and Hilary Putnam and Julia Robinson}, title = {The Decision Problem for Exponential Diophantine Equations}, journal = {The Annals of Mathematics} }