Introduction to artificial intelligence - Charniak, Eugene & McDermott, Drew (Addison-Wesley publishing company, England, 1982)