Stefan Wölfl, Till Mossakowski, Lutz Schröder. Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. In Anthony G. Cohn, Christian Freksa, Bernhard Nebel, editors, Spatial Cognition: Specialization and Integration, 04.12. - 09.12.2005. Volume 05491 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2005. [doi]
Abstract is missing.