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