Introduction to artificial intelligence - Charniak, Eugene (1985)