@article{Solovay_2012,
    title = {Some new results on decidability for elementary algebra and geometry},
    volume = {163},
    issn = {0168-0072},
    url = {http://dx.doi.org/10.1016/j.apal.2012.04.003},
    doi = {10.1016/j.apal.2012.04.003},
    number = {12},
    journal = {Annals of Pure and Applied Logic},
    publisher = {Elsevier BV},
    author = {Solovay, Robert M. and Arthan, R.D. and Harrison, John},
    year = {2012},
    month = {dec},
    pages = {1765–1802},
    date-added = {2025-2-4 8:29:33 +0100}
}

@article{Solovay_2012, title = {Some new results on decidability for elementary algebra and geometry}, volume = {163}, issn = {0168-0072}, url = {http://dx.doi.org/10.1016/j.apal.2012.04.003}, doi = {10.1016/j.apal.2012.04.003}, number = {12}, journal = {Annals of Pure and Applied Logic}, publisher = {Elsevier BV}, author = {Solovay, Robert M. and Arthan, R.D. and Harrison, John}, year = {2012}, month = {dec}, pages = {1765–1802}, date-added = {2025-2-4 8:29:33 +0100} }