Hustadt, U., Schmidt, R. A. & Georgieva, L. (2004). A Survey of Decidable First-Order Fragments and Description Logics