"Simplifying von Plato's Axiomatization of Constructive Apartness Geometry."

Dafa Li, Peifa Jia, Xinxin Li (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics