Introduction to artificial intelligence - Charniak, Eugene 1946-; McDermott, Drew V. 1949- (Addison-Wesley, 1987)