1. Bobrow, D.G. and Winograd, T., “An Overview of KRL, a Knowledge Representation Language,” CSL-76-4, Xerox PARC, July 1976.
2. Bobrow, D.G., “The LOOPS Manual,” Palo Alto Research Center Xerox PARC, KB-VLSI-81-13. 1982
3. “The OPS-5 User's Manual,”;Forgy,1981
4. Furukawa, K. Takeuchi. Yasukawa, H, and Kunifuji, S., “Mandala : A Logic Based Knowledge Programming System,” FGCS 1984, ICOT, 1984.