with Struve, H. , Struve, R. , 2017, Metric geometries in an axiomatic perspective, in L. Ji, A. Papadopoulos & S. Yamada (eds.), From Riemann to differential geometry and relativity, Dordrecht, Springer, pp. 413-455.
, 2002a, 'Axiomatizations of hyperbolic geometry: a comparison based on language and quantifier type complexity', Synthese 133 (3), 331-341.