1. The role of frame-based representation in reasoning;Fikes;CACM,1985
2. Logic for Problem Solving;Kowalski,1979
3. Programming in Prolog;Clocksin,1981
4. Object-oriented programming: themes and variations;Stefik;AI Magazine,1986
5. Knowledge-Based Systems: Fundamentals and Tools;Garcia,1991