A. van Delden, and T. Mossakowski. 36th Annual Conference on Artificial Intelligence (KI 2013), volume 8077 of Lecture Notes in Artificial Intelligence, page 248--259. Springer, (2013)
F. Dylla, T. Mossakowski, T. Schneider, and D. Wolter. Proceedings of Conference On Spatial Information Theory 2013, volume 8116 of Lecture Notes in Computer Science, page 516--536. Springer-Verlag Berlin Heidelberg, (2013)