Du, H., & Alechina, N. (2019). Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable. In Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI-19) (2776-2783). https://doi.org/10.1609/aaai.v33i01.33012776