1. Russell, S., Norvig, P.: Artificial Intelligence: a modern approach, 2nd edn. Prentice Hall, Upper Saddle River (2003)
2. Luger, G.F.: Artificial Intelligence: Structures and Strategies for Complex Problem Solving, 5th edn. Addison-Wesley, Reading (2004)
3. Brachman, R.J., Levesque, H.J.: Knowledge Representation and Reasoning. Elsevier, Amsterdam (2004)
4. Genesereth, M.R., Nilsson, N.J.: Logical Foundations of AI. Morgan Kaufmann, Palo Alto (1987)
5. Hatzilygeroudis, I.: Teaching NL to FOL and FOL to CL Conversions. In: Proceedings of the 20th International FLAIRS Conf., Key West, FL, pp. 309–314. AAAI Press, Menlo Park (May 2007)