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

by D GABELAIA, R KONTCHAKOV, A KURUCZ, F WOLTER, M ZAKHARYASCHEV
Venue:In Proc. 16th International FLAIRS Conference