Victor Pambuccian Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry. 129-136 2001 47 Math. Log. Q. 1 http://dx.doi.org/10.1002/1521-3870(200101)47:1<129::AID-MALQ129>3.0.CO;2-B db/journals/mlq/mlq47.html#Pambuccian01