@article{Robinson_1949,
    doi = {10.2307/2266510},
    url = {https://doi.org/10.2307%2F2266510},
    year = {1949},
    month = {jun},
    publisher = {Cambridge University Press ({CUP})},
    volume = {14},
    number = {2},
    pages = {98--114},
    author = {Julia Robinson},
    title = {Definability and decision problems in arithmetic},
    journal = {Journal of Symbolic Logic}
}

@article{Robinson_1949, doi = {10.2307/2266510}, url = {https://doi.org/10.2307%2F2266510}, year = {1949}, month = {jun}, publisher = {Cambridge University Press ({CUP})}, volume = {14}, number = {2}, pages = {98--114}, author = {Julia Robinson}, title = {Definability and decision problems in arithmetic}, journal = {Journal of Symbolic Logic} }