Du, Heshan, and Natasha Alechina. 2019. “Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable”. Proceedings of the AAAI Conference on Artificial Intelligence 33 (01):2776-83. https://doi.org/10.1609/aaai.v33i01.33012776.