@misc{indiciae599c121a4ec2,
  title = {Can one design a geometry engine? On the (un)decidability of affine Euclidean geometries},
  author = {J. A. Makowsky},
  year = {2018},
  url = {https://arxiv.org/abs/1712.07474},
  note = {Source identifier: 1712.07474}
}