1. Foundations of Databases;Abiteboul,1995
2. The Description Logic Handbook: Theory, Implementation and Applications,2003
3. A scheme for integrating concrete domains into concept languages;Baader,1991
4. An overview of Tableau Algorithms for description logics;Baader;Studia Logica,2001
5. Resolution theorem proving;Bachmair,2001