INTO. TO ARTIFICIAL INTELLIGENT - CHARNIAK,E. & MCDERMOTT,D. (ADDISON-WESLEY, 1987)