| The Sat4j library, release 2.2 | 164 | 4.77 | 2010 |
| On SAT Technologies for Dependency Management and Beyond | 23 | 1.07 | 2008 |
| Source-to-source Prolog program compression | 0 | 0.34 | 1998 |
| Méta-interprétation et transformations de programmes logiques | 0 | 0.34 | 1994 |
| Towards Optimization of Full Prolog Programs guided by Abstract Interpretation. | 0 | 0.34 | 1992 |
| Prolog Program Transformations and Meta-Interpreters | 1 | 0.37 | 1991 |
| Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs | 0 | 0.34 | 1991 |
