Introduction To Artificial Intelligence - CHARNIAK, Eugene (Addison Wesley, 1985)