| 1994 | STACS | One Binary Horn Clause is Enough. | Philippe Devienne, Patrick Lebgue, Jean-Christophe Routier, Jrg Wrtz |
| 1993 | STACS | Halting Problem of One Binary Horn Clause is Undecidable. | Philippe Devienne, Patrick Lebgue, Jean-Christophe Routier |
| 1992 | ICLP | Halting Problem of One Binary Horn Clause id Undecidable. | Philippe Devienne, Patrick Lebgue, Jean-Christophe Routier |
| 1992 | LOPSTR | Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation. | Anne Parrain, Philippe Devienne, Patrick Lebgue |
| 1992 | SAS | Weighted Systems Revisited. | Philippe Devienne, Patrick Lebgue, Jean-Christophe Routier |
| 1992 | SAS | Towards Optimization of Full Prolog Programs guided by Abstract Interpretation. | Anne Parrain, Philippe Devienne, Patrick Lebgue |
| 1991 | LOPSTR | Abstract Interpretation and Recursive Behaviour of Logic Programs. | Christophe Lecoutre, Philippe Devienne, Patrick Lebgue |
| 1991 | LOPSTR | Prolog Program Transformations and Meta-Interpreters. | Anne Parrain, Philippe Devienne, Patrick Lebgue |
| 1991 | SAS | Une analyse du comportement rcursif de programmes Prolog par une interprtation abstraite. | Christophe Lecoutre, Philippe Devienne, Patrick Lebgue |
| 1991 | SAS | Techniques de transformations de programmes Prolog gnraux et validation de mta-interprteurs. | Anne Parrain, Philippe Devienne, Patrick Lebgue |