1. AAAI, Proc. AAAI-90 Workshop on Model Based Reasoning, Boston, MA,1990
2. Modeling at the machine-control level using discrete event simulation (DES);Al-Aomar,1998
3. ARPA, DSSA Workshops, CMU SEI, twice yearly
4. Discrete-Event System Simulation;Banks,1995
5. Source-to-source tranformations of logic programs, Report CS84-22;Bloch,1984