Quantifier-free axioms for constructive plane geometry Nancy Moler; Patrick Suppes — 1968 Compositio Mathematica