On the computational complexity of spatio-temporal logics (2003)

by D Gabelaia, R Kontchakov, A Kurucz, F Wolter, M Zakharyaschev
Venue:Proceedings of the 16th AAAI International FLAIRS Conference