1. Beeson, M.: The Tarski formalization project,
http://www.michaelbeeson.com/research/FormalTarski/index.php
2. Braun, G., Narboux, J.: From Tarski to Hilbert. In: Ida, T., Fleuriot, J. (eds.) Automated Deduction in Geometry 2012 (2012)
3. Caviness, B.F., Johnson, J.R. (eds.): Quantifier Elimination and Cylindrical Algebraic Decomposition. Springer, Wien/New York (1998)
4. Gupta, H.N.: Contributions to the Axiomatic Foundations of Geometry. Ph.D. thesis, University of California, Berkeley (1965)
5. Hilbert, D.: Foundations of Geometry (Grundlagen der Geometrie), 2nd English edn. Open Court, La Salle (1960), translated from the tenth German edition by Leo Unger. Original publication date (1899)