Introduction to artificial intelligence - Charniak, Eugene (World student series, 1985)