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