@Article{vPl95,
    Author       = "von Plato, J.",
    Year         = "1995",
    Title        = "{The Axioms of Constructive Geometry}",
    Journal      = "Annals of Pure and Applied Logic",
    Volume       = "76",
    Number       = "2",
    Pages        = "169-200",
    Comment      = "TPTPRef"
}