1. Holger Becht, Anthony Bloesch, Ray Nickson and Mark Utting, Ergo 4.1 Reference Manual, Technical Report No. 96-31, Software Verification Research Centre, Department of Computer Science, University of Queensland, 1996.
2. C. Belleannée, P. Brisset, O. Ridoux, A pragmatic reconstruction of λProlog, Journal of Logic Programming, 41(1), 1999, pp 67–102
3. M. Bozzano, G. Delzanno, M. Mattelli, V. Mascardi, F. Zini, Logic Programming and Multi-Agent Systems: A synergic combination for applications and semantics, in The Logic Programming Paradigm, (eds K. Apt et al), Springer-Verlag, 1999.
4. M. Carro and M. Hermenegildo, Concurrency in Prolog Using Threads and a Shared Database. Proceedings of ICLP99, (ed. D. De Schreye), MIT Press, 1999, pp 320–334.
5. A. Pineda and M. Hermenegildo, O’Ciao: An Object Oriented Programming Model for (CIAO) Prolog, Research Report CLIP 5/99.0, (accessible from http://www.clip.dia.fi.upm.es/ ), Facultad de Informatica, UPM, Madrid, 1999.