Explicit Implementation of a Constraint Solving Mechanism in a Relational Programming System. - Patrick Bellot; Olivier Camp; Christophe Matiachoff (GULP-PRODE, 1995)

An Overview of MILES and its constraint solving mechanism. - Patrick Bellot; Olivier Camp; Christophe Matiachoff (JFPLC, 1995)