1. Alur, R., and T.A. Henzinger. 1989. A really temporal logic. In Proceedings of the 30th annual symposium on foundations of computer science (FOCS), 164–169. Washington, DC: IEEE Computer Society Press.
2. Alur, R., and T.A. Henzinger. 1992. Logics and models of real time: A survey. In Real time: Theory in practice, volume 600 of lecture notes in computer science, ed. J.W. de Bakker, C. Huizing, W.P. de Roever, G. Rozenberg, 74–106. Berlin: Springer.
3. Areces, C. 2000. Logic engineering. The case of description and hybrid logics. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam.
4. Areces, C., and J. Heguiabehere. 2002. HyLoRes 1.0: Direct resolution for hybrid logics. In Proceedings of the 18th international conference on automated deduction, Lecture notes in computer science, vol. 2392, ed. A. Voronkov, 156–160. Berlin: Springer.
5. Areces, C., and B. ten Cate. 2007. Hybrid logics. In Handbook of modal logic, ed. P. Blackburn, J. van Benthem, and F. Wolter, 821–868. Amsterdam: Elsevier.