1. The Description Logic Handbook: Theory, Implementation and Applications,2002
2. FDPLL—A first-order Davis–Putnam–Logemann–Loveland procedure;Baumgartner,2000
3. The semantic web;Berners-Lee;Scientific American,2001
4. Positive unit hyper-resolution tableaux and their application to minimal model generation;Bry;J. Automat. Reason.,2000
5. Symbolic Logic and Mechanical Theorem Proving;Chang,1973