1. The Description Logic Handbook,2003
2. A Scheme for Integrating Concrete Domains into Concept Languages;Baader,1991
3. Resolution Theorem Proving;Bachmair,2001
4. Basic paramodulation;Bachmair;Inform. Comput.,1995
5. On the power of magic;Beeri,1987