"Integration and Optimization of Rule-Based Constraint Solvers."

Slim Abdennadher, Thom W. Frühwirth (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics