VDict mobile



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.