Extending the WAM for Intelligent Backtracking. - Philippe Codognet; Thierry Sola (ICLP, 1991)

A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking. - Philippe Codognet; François Fages; Thierry Sola (WCLP, 1991)

The Versatility of Handling Disjunctions as Constraints. - Jean Jourdan; Thierry Sola (PLILP, 1993)

Handling Preferences in Constraint Logic Programming with Relational Optimization. - François Fages; Julian Fowler; Thierry Sola (PLILP, 1994)

A Reactive Constraint Logic Programming Scheme. - François Fages; Julian Fowler; Thierry Sola (ICLP, 1995)

Un modèle d'exécution réactif et interactif pour la programmation logique avec contraintes. - Julian Fowler; Thierry Sola; François Fages (JFPLC, 1995)

Experiments in Reactive Constraint Logic Programming. - François Fages; Julian Fowler; Thierry Sola (J. Log. Program., 1998)