@misc{misc, title = {{Undecidable First-Order Theories of Affine Geometries}}, url = {{http://dx.doi.org/10.2168/LMCS-9(4:26)2013 }}, year = {{2013}}, month = {{10}}, author = {{Kuusisto A and Meyers J and Virtema J}}, note = {{Accessed on 2025/06/26}}}