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]
@inproceedings{WolflMS05,
title = {Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables},
author = {Stefan Wölfl and Till Mossakowski and Lutz Schröder},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/979},
tags = {composition, constraints},
researchr = {https://researchr.org/publication/WolflMS05},
cites = {0},
citedby = {0},
booktitle = {Spatial Cognition: Specialization and Integration, 04.12. - 09.12.2005},
editor = {Anthony G. Cohn and Christian Freksa and Bernhard Nebel},
volume = {05491},
series = {Dagstuhl Seminar Proceedings},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}