@ARTICLE{solovay-arthan-harrison, author = "Robert M. Solovay and R.D. Arthan and John Harrison", title = "Some new results on decidability for elementary algebra and geometry", journal = "Annals of Pure and Applied Logic", volume = 163, year = 2012, pages = "1765--1802"}