Julien Hué, Matthias Westphal, Stefan Wölfl. An Automatic Decomposition Method for Qualitative Spatial and Temporal Reasoning. In IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012, Athens, Greece, November 7-9, 2012. pages 588-595, IEEE, 2012. [doi]
Abstract is missing.