Luc Segoufin Victor Vianu Querying Spatial Databases via Topological Invariants. 270-301 2000 61 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss61.html#SegoufinV00