Introduction to Artificial Intelligence - CHARNIAK, Eugene (Tokyo Addison-wesley, 2000)