1. Allen, R. L. (1966). The verb system of present-day American English (Vol. 24). The Hague: Mouton.
2. Areces, C. (2000). Logic engineering: The case of description and hybrid logics. PhD thesis, University of Amsterdam.
3. Areces, C., Blackburn, P., Huertas, A., & Manzano, M. (2014). Completeness in hybrid type theory. Journal of Philosophical Logic, 43, 209–238.
4. Areces, C., Blackburn, P., & Marx, M. (2000). The computational complexity of hybrid temporal logics. Logic Journal of IGPL, 8(5), 653–679.
5. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., & Patel-Schneider, P. (Eds.). (2003). The description logic handbook: Theory, implementation, and applications. Cambridge: Cambridge University Press.