Incremental Search in Constraint Logic Programming. - Pascal Van Hentenryck; Thierry Le Provost (New Gener. Comput., 1991)

Domain Independent Propagation. - Thierry Le Provost; Mark Wallace 001 (FGCS, 1992)

CHIP and Propia. - Mark Wallace 001; Thierry Le Provost (LPAR, 1992)

Contraint Logic Programming - An Informal Introduction. - Thom W. Frühwirth; Alexander Herold; Volker Küchenhoff; Thierry Le Provost; Pierre Lim; Éric Monfroy; Mark Wallace 001 (Logic Programming Summer School, 1992)

Generalized Constraint Propagation over the CLP Scheme. - Thierry Le Provost; Mark Wallace 001 (J. Log. Program., 1993)

Magic Checking: Constraint Checking for Database Query Optimization. - Mark Wallace 001; Stéphane Bressan; Thierry Le Provost (CDB, 1995)