Segoufin, Vianu, 2000. Querying Spatial Databases via Topological Invariants 61.. https://doi.org/10.1006/jcss.2000.1712