Rule-Based Constraint Programming
Claude Kirchner, Christophe Ringeissen · Fundamenta Informaticae · 1998
In this paper we present a view of constraint programming based on the notion of rewriting controlled by strategies. We argue that this concept allows us to describe in a unified way the constraint solving mechanism as well as the meta-language neede