Hitzler, Pascal, Studer, Rudi, Sure, York (2005), "Description Logic Programs: A Practical Choice for the Modelling of Ontologies", http://www.aifb.unikarlsruhe.de/WBS/phi/pub/dlppos05.pdf [Accessed 12 Sep 2007]. 

Horrocks, Ian, Patel-Schneider, Peter F., Boley, Harold, Tabet, Said, Grosof, Benjamin & Dean, Mike (2004), "SWRL: A Semantic Web Rule Language Combining OWL and RuleML", http://www.daml.org/rules/proposal/ [Accessed 12 Sep 2007]. 

Kautz, Henry & Selman, Bart (1994), "An Empirical Evaluation of Knowledge Compilation", 
Proceedings of the 12th National Conference of the American Association for Artificial Intelligence, Seattle, WA, July 1994, MIT Press, pp. 155-61. 

Kautz, Henry A. & Selman, Bart (1991), "A General Framework for Knowledge Compilation", 
Proceedings of the International Workshop on Processing Declarative Knowledge (PDK-91), Richter, H. & Richter, M. (eds), *Lecture Notes In Artificial Intelligence 567*, Springer Verlag, pp. 287-300. [Online at www.cs.rochester.edu/u/www/u/kautz/papers/kc-gen.ps, accessed 12 Sep 2007]. 

Maedche, A. & Volz, R (2003), "Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases", 10th International Workshop on Knowledge Representation meets Databases (KRDB-2003). 

Minker, Jack & Seipel, Dietmar (2002), "Disjunctive Logic Programming: A Survey and Assessment", *Computational Logic: Logic Programming and Beyond*, pp. 472-511. 

Rector, Alan, Drummond, Nick, Horridge, Matthew, Rogers, Jeremy, Knublauch, Holger, Stevens, Robert, Wang, Hai & Woe, Chris (2004), "OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns", 14th International Conference on Knowledge Engineering and Knowledge Management (EKAW), Whittlebury Hall, UK 
[Online at http://www.co-ode.org/resources/papers/ekaw2004.pdf, accessed 12 Sep 2007]. 

Schrag, R. & Crawford, J. M. (1996), "Implicates and Prime Implicates In Random 3SAT", 
Artificial Intelligence Journal, 81:199-222. Also: Frontiers in Problem Solving: Phase Transitions and Complexity, Hogg, T., Huberman, B. A. & Williams, C. (eds). [Online at http://www.cirl.uoregon.edu/crawford/papers/implicates.ps, accessed 12 Sep 2007]. 

Samuel, Ken, Obrst, Leo, Stoutenburg, Suzette, Fox, Karen, Franklin, Paul, Johnson, Adrian, Laskey, Ken, Nichols, Deborah, Lopez, Steve & Peterson, Jason (2006), "Applying Prolog to Semantic Web Ontologies & Rules: Moving Toward Description Logic Programs", 
Proceedings of the International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services, International Conference on Logic Programming, August 16, 2006. Seattle, Washington. 112-3. Poster presentation and extended abstract. 

[Online at http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol196/alpsws2006-poster5.pdf, accessed 12 Sep 2007]. 

Selman, Bart & Kautz, Henry A. (1991), "Knowledge Compilation using Horn Approximations", 
Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI91), pp. 904-9, [Online at www.cs.rochester.edu/u/www/u/kautz/papers/kc-horn.ps, accessed 12 Sep 2007]. 

Selman, Bart & Kautz, Henry (1996), "Knowledge Compilation and Theory Approximation", 
Journal of the ACM, 43(2):193-224, March, 1996. 

Sippu, Seppo & Soisalon-Soininen, Eljas (1996), "An Analysis of Magic Sets and Related Optimization Strategies for Logic Queries", *Journal of the ACM (JACM)*, 43(6), 1046-88. 

Stoutenburg, Suzette, Obrst, Leo, Nichols, Deborah, Samuel, Ken, Laskey, Ken, Johnson, Adrian, Peterson, Jason & Fox, Karen (2006), "Year 1 Results: Evaluating Proposed Approaches for a Standard Semantic Web Rule Language", MITRE Technical Report 06b0000014. 

Stoutenburg, Suzette, Obrst, Leo, Nichols, Deborah, Peterson, Jason & Johnson, Adrian (2005), 
"Toward a Standard Rule Language for Semantic Integration of the DoD Enterprise", W3C Workshop on Rule Languages for Interoperability, April 2005, Washington, D.C., pp. 27-8. 

Van Roy, Peter L. (1990), *Can Logic Programming Execute as Fast as Imperative* Programming?, PhD thesis, Department of Computer Science, University of California, 