KCM: A Knowledge Crunching Machine. - Hans Benker; Jean-Michel Beacco; Sylvie Bescos; Michel Dorochevsky; Thomas Jeffré; Anita Pohlmann; Jacques Noyé; Bruno Poterie; Alan P. Sexton; Jean-Claude Syre; Oliver Thibault; Günter Watzlawik (ISCA, 1989)

A Knowledge Crunching System. - Hans Benker; Michel Dorochevsky; Jacques Noyé; Alan P. Sexton (ARCS, 1990)

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)

Has Dedicated Hardware for Prolog a Future? - Michel Dorochevsky; Jacques Noyé; Oliver Thibault (PDK, 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)

SensoMot - Sensorische Erfassung von Motivationsindikatoren zur Steuerung adaptiver Lerninhalte. - Oliver Schneider 004; Thomas Martens; Mathias Bauer; Alexandra Ott-Kroner; Uwe Dick; Michel Dorochevsky (DeLFI, 2017)