1. Hybrid logics: Characterization, interpolation and complexity;Areces;Journal of Symbolic Logic,2001
2. What are hybrid languages?;Blackburn,1998
3. J.R. Büchi, On a decision method in restricted second order arithmetic, in: Proc. Internat. Congr. Logic, Method. and Philos. Sci., 1960, Stanford, 1962, pp. 1–12
4. On the complexity of hybrid logics with binders;ten Cate,2005
5. The complexity of propositional linear temporal logics in simple cases;Demri;Information and Computation,2002