Introduction to artificial intelligence - Charniak, Eugene (Addison-Wesley Publishing Company, Inc, 1985)