@ARTICLE{arec:comp99,
  author = {Areces, C. and Blackburn, P. and Marx, M.},
  title = {The Computational Complexity of Hybrid Temporal Logics},
  journal = {Logic Journal of the IGPL},
  year = {2000},
  volume = {8},
  pages = {653--679},
  number = {5},
}