The computational complexity of hybrid temporal logics. The Logic (1999)

by C Areces, P Blackburn, M Marx
Venue:Journal of the IGPL