1. Becht, H., Bloesch, A., Nickson, R., Utting, M.: Ergo 4.1 Reference Manual, Technical Report No. 96–31, Software Verification Research Centre, Department of Computer Science, University of Queensland (1996)
2. Clark, K., Robinson, P.J.: Agents as Multi-threaded Logical Object (to appear)
3. McCabe, F.G.: The Inter-Agent Communication Model (ICM). Fujitsu Laboratories of America Inc. (2000),
http://www.nar.fla.com/icm/
4. Robinson, P.J.: Qu-Prolog 6.0 User Guide. Technical Report No. 00-20, Software Verification Research Centre, University of Queensland (2000)
5. Utting, M., Robinson, P., Nickson, R.: Ergo 6: A generic proof engine that uses prolog proof technology. JCM 5, 194–219 (2002)