This document is unfortunately not available for download at the moment.
(2002) Synthese 133 (3).
Axiomatizations of hyperbolic geometry
a comparison based on language and quantifier type complexity
Victor Pambuccian
pp. 331-341
Not implemented yet !