Quantifier-free axioms for constructive plane geometry
Compositio Mathematica, Volume 20  (1968), p. 143-152
@article{CM_1968__20__143_0,
     author = {Moler, Nancy and Suppes, Patrick},
     title = {Quantifier-free axioms for constructive plane geometry},
     journal = {Compositio Mathematica},
     publisher = {Wolters-Noordhoff Publishing},
     volume = {20},
     year = {1968},
     pages = {143-152},
     zbl = {0183.24902},
     mrnumber = {229123},
     language = {en},
     url = {http://www.numdam.org/item/CM_1968__20__143_0}
}
Moler, Nancy; Suppes, Patrick. Quantifier-free axioms for constructive plane geometry. Compositio Mathematica, Volume 20 (1968) , pp. 143-152. http://www.numdam.org/item/CM_1968__20__143_0/

D. Hilbert The Foundations of Geometry. LaSalle, Illinois: Open Court Publishing Co., 1947; reprint edition. | JFM 33.0082.10 | MR 116216

H.L. Royden Remarks on primitive notions for elementary Euclidean and non-Euclidean plane gemetry. In L. Henkin, P. Suppes and A. Tarski (Eds.), The Axiomatic Method, With Special Reference to Geometry and Physics. Amsterdam: North-Holland Publishing Co., 1959, pp. 86-96. | MR 107196 | Zbl 0089.16505

L.W. Szczerba & A. Tarski Metamathematical properties of some affine geometries. Proceedings of the 1964 International Congress for Logic, Methodology and Philosophy of Science. Amsterdam: North-Holland Publishing Co., 1964, pp. 166-178. | MR 209948 | Zbl 0149.38502

A. Tarski What is elementary geometry? In L. Henkin, P. Suppes and A. Tarski (Eds.), The Axiomatic Method, With Special Reference to Geometry and Physics. Amsterdam: North-Holland Publishing Co., 1959, pp. 16 - 29. | Zbl 0092.38504

O. Veblen A system of axioms for geometry. Transactions of the American Mathematical Society, 1904, 5, pp. 343-384. | JFM 35.0495.02 | MR 1500678