1. G. Booch, J. Rumbaugh, and I. Jacobsen. UML Notation Guide, Version 1.1, September 1997.
2. Chimara. Website.
www.ksl.Stanford.edu/software/chimaera
.
3. DAML. DARPA Agent Markup Language Web Site, 2001.
www.daml.org
.
4. G. Frank. Hybrid reasoning architecture general purpose first-order logic theorem prover suite of special-purpose reasoners.
www.ksl.stanford.edu/software/JTP
.
5. M. Genesereth. Knowledge Interchange Format draft proposed American National Standard (dpANS) NCITS.T2/98-004, 1998. Available at logic.stanford.edu/-kif/dpans.html.