@misc{indiciaeaf2505bcb2f3,
  title = {Undecidable First-Order Theories of Affine Geometries},
  author = {Antti Kuusisto and Jeremy Meyers and Jonni Virtema},
  year = {2012},
  url = {https://arxiv.org/abs/1208.4930},
  note = {Source identifier: 1208.4930}
}