1. Afshordel, B., Brahm, U., Cohrs, C., Engel, T., Keen, E., Theobald, C., Topić, D., Weidenbach, C.: System description: SPASS Version 1.0.0. In: Ganzinger, H. (ed.) CADE 1999. LNCS (LNAI), vol. 1632, pp. 187–201. Springer, Heidelberg (1999)
2. Areces, C.: Logic Engineering. The Case of Description and Hybrid Logics. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands (October 2000) H(@)
3. Areces, C., Blackburn, P., Marx, M.: A road-map on complexity for hybrid logics. In: Proc. of the 8th Annual Conference of the EACSL, pp. 307–321 (1999)
4. Areces, C., Blackburn, P., Marx, M.: Hybrid logics: Characterization, interpolation and complexity. Journal of Symbolic Logic 66(3), 977–1010 (2001)
5. Areces, C., de Nivelle, H., de Rijke, M.: Resolution in modal, description and hybrid logic. Journal of Logic and Computation 11(5), 717–736 (2001)