Model search with equality: a language and incremental proof procedure for discourse analysis. - Laurent Henocque (JFPL, 1993)

Finite Model Search for Equational Theories (FMSET). - Belaid Benhamou; Laurent Henocque (AISC, 1998)

A Hybrid Method for Finite Model Search in Equational Theories. - Belaid Benhamou; Laurent Henocque (Fundam. Informaticae, 1999)

Two Techniques to Improve Finite Model Search. - Gilles Audemard; Belaid Benhamou; Laurent Henocque (CADE, 2000)

The eXtended Least Number Heuristic. - Gilles Audemard; Laurent Henocque (IJCAR, 2001)

A Canonicity Test for Configuration. - Stéphane Grandcolas; Laurent Henocque; Nicolas Prcovic (CP, 2003)

Pruning Isomorphic Structural Sub-problems in Configuration - Stéphane Grandcolas; Laurent Henocque; Nicolas Prcovic (CoRR, 2003)

Modeling Object Oriented Constraint Programs in Z - Laurent Henocque (CoRR, 2003)

An Intuitive Tool for Constraint Based Grammars. - Mathieu Estratat; Laurent Henocque (CSLP, 2004)

Parsing Languages with a Configurator. - Mathieu Estratat; Laurent Henocque (ECAI, 2004)

Practically Handling Some Configuration Isomorphisms. - Laurent Henocque; Nicolas Prcovic (ICTAI, 2004)

Application des programmes de contraintes orientés objet à l'analyse du langage naturel. - Mathieu Estratat; Laurent Henocque (TALN (Articles longs), 2004)

A Constrained Object Model for Configuration Based Workflow Composition. - Patrick Albert; Laurent Henocque; Mathias Kleiner (Business Process Management Workshops, 2005)

Advances in Polytime Isomorph Elimination for Configuration. - Laurent Henocque; Mathias Kleiner; Nicolas Prcovic (CP, 2005)

Configuration-Based Workflow Composition. - Patrick Albert; Laurent Henocque; Mathias Kleiner (ICWS, 2005)

Predicting and Detecting Symmetries in FOL Finite Model Search. - Gilles Audemard; Belaid Benhamou; Laurent Henocque (J. Autom. Reason., 2006)

Ant Colony Optimization for Configuration. - Patrick Albert; Laurent Henocque; Mathias Kleiner (ICTAI (1), 2008)

An End-to-End Configuration-Based Framework for Automatic SWS Composition. - Patrick Albert; Laurent Henocque; Mathias Kleiner (ICTAI (1), 2008)