Graphs in Logic Programming for Natural Language Analysis (Conceptual Graphs in Prolog). - Henri Beringer (Natural Language Understanding and Logic Programming Workshop, 1987)

Diagnosing systems modeled with piecewise linear constraints. - Henri Beringer; Bruno De Backer (TAI, 1990)

Intelligent Backtracking for CLP Languages: An Application to CLP(R). - Bruno De Backer; Henri Beringer (ISLP, 1991)

Prolog at IBM: An Advanced and Evolving Application Development Technology. - Michel Bénichou; Henri Beringer; Jean-Michel Gauthier; Christoph Beierle (IBM Syst. J., 1992)

A CLP Language Handling Disjunctions of Linear Constraints. - Bruno De Backer; Henri Beringer (ICLP, 1993)

Satisfiability of Boolean Formulas over Linear Constraints. - Henri Beringer; Bruno De Backer (IJCAI, 1993)

Combinatorial Problem Solving in Constraint Logic Programming with Cooperating Solvers. - Henri Beringer; Bruno De Backer (Logic Programming: Formal Methods and Practical Applications, 1995)

Construire des applications interactives d'optimisation avec la programmation par contraintes. - Henri Beringer; Daniel Godard; André Guillaud; Ulrich Junker (JFPLC, 1996)

A web-based workforce management system for Sainsburys Supermarkets Ltd. - S. Keyvan Mirrazavi; Henri Beringer (Ann. Oper. Res., 2007)