Bernd Bank Max J. Egenhofer Bart Kuijpers Constraint Databases, Geometric Elimination and Geographic Information Systems 07212 2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany Dagstuhl Seminar Proceedings db/conf/dagstuhl/P7212.html