Michael Benedikt Bart Kuijpers Christof Löding Jan Van den Bussche Thomas Wilke A characterization of first-order topological properties of planar spatial data. 273-305 2006 53 J. ACM 2 http://doi.acm.org/10.1145/1131342.1131346 db/journals/jacm/jacm53.html#BenediktKLBW06