%0 Journal Article
%A Moler, Nancy
%A Suppes, Patrick
%T Quantifier-free axioms for constructive plane geometry
%J Compositio Mathematica
%D 1968
%P 143-152
%V 20
%I Wolters-Noordhoff Publishing
%U http://www.numdam.org/item/CM_1968__20__143_0/
%G en
%F CM_1968__20__143_0