"Using Confluence to Generate Rule-Based Constraint Solvers."

Slim Abdennadher, Christophe Rigotti (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics