Jump to user comments
1. ["The Architecture of the FAIM-1 Symbolic Multiprocessing
System", A. Davis et al, 9th Intl Joint Conf in Artif Intell,
1985, pp.32-38].
2. Operator Identification Language. Used for
overloadingresolution by the
Eli compiler-writing system.