Prolog Program Transformations and Meta-Interpreters. - Anne Parrain; Philippe Devienne; Patrick Lebègue (LOPSTR, 1991)

Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs. - Anne Parrain; Philippe Devienne; Patrick Lebègue (JTASPEFT/WSA, 1991)

Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation. - Anne Parrain; Philippe Devienne; Patrick Lebègue (LOPSTR, 1992)

Méta-interprétation et transformations de programmes logiques. - Anne Parrain (JFPLC, 1994)

Smallest Horn Clause Programs. - Philippe Devienne; Patrick Lebègue; Anne Parrain; Jean-Christophe Routier; Jörg Würtz (J. Log. Program., 1996)

Source-to-source Prolog Program Compression. - Philippe Devienne; Anne Parrain; Patrick Taillibert; S. Varennes (IJCSLP, 1998)

On SAT Technologies for Dependency Management and Beyond. - Daniel Le Berre; Anne Parrain (SPLC (2), 2008)

The Sat4j library, release 2.2. - Daniel Le Berre; Anne Parrain (J. Satisf. Boolean Model. Comput., 2010)

Compressing UNSAT Search Trees with Caching. - Anthony Blomme; Daniel Le Berre; Anne Parrain; Olivier Roussel (ICAART (3), 2023)

Compressing UNSAT CDCL Trees with Caching. - Anthony Blomme; Daniel Le Berre; Anne Parrain; Olivier Roussel (ICAART (3), 2024)