@inproceedings{inproceedings, title = {{Undecidable first-order theories of affine geometries}}, url = {{}}, year = {{2012}}, month = {{1}}, author = {{Kuusisto A and Meyers J and Virtema J}}, doi = {{10.4230/LIPIcs.CSL.2012.470}}, isbn = {{9783939897422}}, volume = {{16}}, journal = {{Leibniz International Proceedings in Informatics, LIPIcs}}, pages = {{470-484}}, note = {{Accessed on 2025/06/20}}}