1. Coppin, B.: Artificial intelligence illuminated. Jones and Bartlett, USA (2004)
2. http://www.onlinefreeebooks.net/free-ebooks-computer-programming-technology/artificial-intelligence/artificial-intelligence-course-material-pdf.html
(accessed on December 22, 2010)
3. Robinson, J.A.: Logic, Form and Function: The Mechanization of Deductive Reasoning. Elsevier Science, Amsterdam (1980)
4. Burckert, H.J.: A Resolution Principle for a Logic With Restricted Quantifiers. Springer, Heidelberg (1992)
5. Jardine, L., Silverthorne, M. (eds.): Francis Bacon: The New Organon. Cambridge University Press, Cambridge (2002)