Introduction to artificial intelligence - Charniak, Eugene & McDermott, McDermott (Addison-Wesley, Massachusetts, 1999)