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