"From Constraints to Finite Automata to Filtering Algorithms."

Mats Carlsson, Nicolas Beldiceanu (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics