... IRISA/INSA¹

Correspondance address: INSA - Dept Informatique, 20 av des Buttes de Coësmes, F-35043 Rennes Cedex ; email : {ducasse, jahier}@irisa.fr, w3: http://www.irisa.fr/lande/ducasse/

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...[2,4] ²

Preprint versions of the articles are accessible from http://www.irisa.fr/lande/ducasse/

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... manual³

available at ``http://www.cs.mu.oz.au/research/mercury/''

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... 99⁴

you can download a release of the day at ``http://www.cs.mu.oz.au/research/mercury/download/rotd.html''

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... ECLiPSe⁵

Free licence for academic sites and free trial 6 month licence are available from http://www.ecrc.de/eclipse/eclipse.html

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... ⁶

Not yet available

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.