1. Logic engineering—the case of description and hybrid logics, Thesis;Areces,2000
2. F. Baader, et al. (Eds.), The Description Logic Handbook—Theory, Interpretation and Applications, Cambridge University Press, Cambridge, 2003.
3. P. Bonatti, A. Tettamanzi, Some complexity results on fuzzy description logics, Proc. Internat. Workshop on Fuzzy Logic and Applications (WILF’03), Napoli, 2003.
4. On the relative expressiveness of description logics and predicate logics;Borgida;Artif. Intell.,1996
5. Basic logic is the logic of continuous t-norms and their residua;Cignoli;Soft Comp.,2000