H. Du and N. Alechina, “Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable”, AAAI, vol. 33, no. 01, pp. 2776-2783, Jul. 2019.