OIL

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.