@misc{indiciae2ee4f8c28ca7,
  title = {Undecidable First-Order Theories of Affine Geometries},
  author = {Antti Kuusisto and Jeremy Meyers and Jonni Virtema},
  year = {2013},
  doi = {10.2168/lmcs-9(4:26)2013},
  url = {https://arxiv.org/abs/1310.8200},
  note = {Source identifier: 1310.8200}
}