Introduction to artificial intelligence - Charniak, Eugene; McDermott, Drew (Pearson Education, 2005)