Du, H.; Alechina, N. Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable. AAAI 2019, 33, 2776-2783.