Value Withdrawal Explanation in CSP. - Gérard Ferrand; Willy Lesaint; Alexandre Tessier (AADEBUG, 2000)

Value withdrawal explanations: a theoretical tool for programming environments. - Willy Lesaint (WLPE, 2002)

Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction. - Gérard Ferrand; Willy Lesaint; Alexandre Tessier (WFLP, 2002)

Correctness of Constraint Retraction Algorithms. - Romuald Debruyne; Gérard Ferrand; Narendra Jussien; Willy Lesaint; Samir Ouis; Alexandre Tessier (FLAIRS, 2003)

Towards declarative diagnosis of constraint programs over finite domains - Gérard Ferrand; Willy Lesaint; Alexandre Tessier (CoRR, 2003)

Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis. - Gérard Ferrand; Willy Lesaint; Alexandre Tessier (JFPLC, 2004)

Explanations to Understand the Trace of a Finite Domain Constraint Solver. - Gérard Ferrand; Willy Lesaint; Alexandre Tessier (WLPE, 2004)

Explanations and Proof Trees. - Gérard Ferrand; Willy Lesaint; Alexandre Tessier (ExaCt, 2005)

Property Grammar Parsing Seen as a Constraint Optimization Problem. - Denys Duchier; Thi-Bich-Hanh Dao; Yannick Parmentier 001; Willy Lesaint (FG, 2010)