1. Quonto: Querying ontologies;Acciarri,2005
2. H. Andréka, J. van Benthem, and I. Németi. Modal languages and bounded fragments of predicate logic. Technical Report ML-96-03, ILLC, University of Amsterdam, 1996
3. C. Areces. Logic engineering. The case of description and hybrid logics. PhD thesis, ILLC, University of Amsterdam, 2000. ILLC Dissertation Series 2000-5
4. A road-map on complexity for hybrid logics;Areces,1999
5. Resolution in modal, description and hybrid logic;Areces;J. of Logic and Computation,2001