Victor Pambuccian Another Constructive Axiomatization of Euclidean Planes. 45-48 2000 46 Math. Log. Q. 1 http://dx.doi.org/10.1002/(SICI)1521-3870(200001)46:1<45::AID-MALQ45>3.0.CO;2-E db/journals/mlq/mlq46.html#Pambuccian00