1. Baader, F., Bürckert, H.J., Nebel, B., Nutt, W., Smolka, G. (1993). On the expressivity of feature logics with negation, functional uncertainty, and sort equations. Journal of Logic Language and Information, 2, 1–18.
2. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (Eds.) (2003). The description logic handbook: theory, implementation, and applications. Cambridge University Press.
3. Baader, F., & Peñaloza, R. (2011). Are fuzzy description logics with general concept inclusion axioms decidable? In Proceedings of the 2011 IEEE international conference on fuzzy systems (FUZZ-IEEE 2011) (pp. 1735–1742). IEEE Press.
4. Baader, F., & Peñaloza, R. (2011). On the undecidability of fuzzy description logics with GCIs and product t-norm. In: C. Tinelli, & V. Sofronie-Stokkermans (Eds.) In Proceedings of 8th international symposium on frontiers of combining systems (FroCoS 2011), lecture notes in computer science (Vol. 6989, pp. 55–70). Springer-Verlag.
5. Baader, F., & Sattler, U. (2001). An overview of tableau algorithms for description logics. Studia Logica, 69, 5–40.