Introduction to Artificial Intelligence - Charniak, E; McDermott, D (Addison-Wesley Publ Comp, 1985)
169-245, 393-5, 591-602, 609-59.