David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev. On the Computational Complexity of Spatio-Temporal Logics. In Ingrid Russell, Susan M. Haller, editors, Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, May 12-14, 2003, St. Augustine, Florida, USA. pages 460-464, AAAI Press, 2003.
Abstract is missing.