Knowledge-based Systems In Artificial Intelegence Randall Davis; Douglas B Lenat - DAVIS, Randall (McGraw-Hill, 1982)