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