Davis, A. et al "The Architecture of the FAIM-1 Symbolic Multiprocessing System"

Proceedings of the Ninth International Joint Confe (1985) Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Menlo Park, Calif.: International Joint Conferences on Artificial Intelligence. 1985  

Languages mentioned OIL {1985}