ElipSys. - Michel Dorochevsky; Kees Schuerman; André Véron; Jiyang Xu (Dagstuhl Seminar on Parallelization in Inference Systems, 1990)

The European Declarative System (EDS) as a platform for parallel logic programming. - K.-F. Wong; U. C. Baron; Hans Benker; Sylvie Bescos; A. B. Cheese; François J. N. Cosquer; Sergio A. Delgado-Rannauro; Michel Dorochevsky; P. Heuze; M. Ibanez-Espiga; Jacques Noyé; Maurizio Paci; et al. (SPDP, 1990)

A Shared Environment Parallel Logic Programming System on Distributed Memory Architectures. - Sergio A. Delgado-Rannauro; Michel Dorochevsky; Kees Schuerman; André Véron; Jiyang Xu (EDMCC, 1991)

Constraint Handling, Garbage Collection and Execution Model Issues in ElipSys. - Michel Dorochevsky; Kees Schuerman; André Véron; Jiyang Xu (ICLP Workshop on Parallel Execution of Logic Programs, 1991)

ElipSys - A Parallel Programming System based on Logic. - Michel Dorochevsky; Liang-Liang Li; Mike Reeve; Kees Schuerman; André Véron (LPAR, 1992)

Binding Techniques and Garbage Collection for OR-Parallel CLP Systems. - Michel Dorochevsky; André Véron (PLILP, 1992)

Safeguarding the Venice Lagoon: Ann Aplication of a Knowledge-Based DSS. - Kees Schuerman; André Véron (GULP, 1993)

APPLAUSE: Applications Using the ElipSys Parallel CLP System. - Liang-Liang Li; Mike Reeve; Kees Schuerman; André Véron; Jacques Bellone; Claudine Pradelles; Zissis Palaskas; Takis Stamatopoulos; Dominic A. Clark; Sylvie Doursenot; Christopher J. Rawlings; Jack Shirazi; et al. (ICLP, 1993)

Protein Topology Prediction through Parallel Constraint Logic Programming. - Dominic A. Clark; Christopher J. Rawlings; Jack Shirazi; André Véron; Mike Reeve (ISMB, 1993)

Applause: Application & Assessment of Parallel Programming Using Logic. - Liang-Liang Li; Mike Reeve; Kees Schuerman; André Véron; Jacques Bellone; Claudine Pradelles; Angelos Kolokouris; Takis Stamatopoulos; Dominic A. Clark; Christopher J. Rawlings; Jack Shirazi; Giuseppe Sardu (PARLE, 1993)

Why and How in the ElipSys OR-parallel CLP System. - André Véron; Kees Schuerman; Mike Reeve; Liang-Liang Li (PARLE, 1993)

Solving Large Combinatorial Problems in Molecular Biology Using the ElipSys Parallel Constraint Logic Programming System. - Dominic A. Clark; Christopher J. Rawlings; Jack Shirazi; Liang-Liang Li; Kees Schuerman; Mike Reeve; André Véron (Comput. J., 1993)

MaTourA: Multi-agent Tourist Advisor. - Constantin Halatsis; Panagiotis Stamatopoulos; Isambo Karali; Costantinos Mourlas; Dimitris Gouscos; Dimitris Margaritis; Constantin Fouskakis; Angelos Kolokouris; Panagiotis Xinos; Mike Reeve; André Véron; Kees Schuerman; et al. (ENTER, 1994)