@article{article, title  = {{Undecidable First-Order Theories of Affine Geometries}},

 publisher = {{Centre pour la Communication Scientifique Directe (CCSD)}},

 url = {{https://doi.org/10.2168/lmcs-9(4:26)2013 }},

 year = {{2013}},

 month = {{12}},

 author = {{Kuusisto A and Meyers J and Virtema J}},

 doi = {{10.2168/lmcs-9(4:26)2013}},

 volume = {{Volume 9, Issue 4}},

 journal = {{Logical Methods in Computer Science}},

 note = {{Accessed on 2026/01/07}}}