References

1

D. Cabeza and M. Hermenegildo. Distributed Concurrent Constraint Execution in the CIAO System. In Proccedings of the 1995 COMPULOG-NET Workshop on Parallelism and Implementation Technologies, Utrecht, NL, September 1995. Available online at ftp://clip.dia.fi.upm.es/pub/papers/ciao-dis-impl-parimp.ps.Z.

2

M. Carlsson. Sicstus Prolog User's Manual. P.O. Box 1263, S-16313 Spanga, Sweden, February 1988. Available online at http://www.sics.se/ps/sicstus/sicstus_toc.html.

3

M. Hermenegildo, F. Bueno, M. García de la Banda, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Proccedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland, Oregon, USA, December 1995. Available online at ftp://clip.dia.fi.upm.es/pub/papers/ciao-report-ilps95ws_final.ps.Z.

4

M. Hermenegildo and the CLIP group. Some Methodological Issues in the Design of CIAO - A Generic, Parallel Concurrent Constraint System. In Principles and Practice of Constraint Programming, LNCS 874, pages 123-133. Springer-Verlag, May 1994. Available online at ftp://clip.dia.fi.upm.es/pub/papers/ciao_ppcp.ps.Z.

5

M. Hermenegildo and K. Greene. The &-Prolog System: Exploiting Independent And-Parallelism. New Generation Computing, 9(3,4):233-257, 1991. Available online at ftp://clip.dia.fi.upm.es/pub/papers/imp_ngc_final.ps.Z.

6

L. Lamport. LATEX User's Guide & Reference Manual. Addison-Wesley Publishing Company, Inc., 1986. Online information on TeX and LaTeX is available at http://curia.ucc.ie/info/TeX/menu.html.