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 overloading resolution by the Eli compiler-writing system.

Nearby terms:

Ohm, Georg SimonohnosecondOICOIDOILOLAPOLAP CouncilOLCOLDAS

Try this search on Wikipedia, Wiktionary, Google, OneLook.