"Propagators and concurrent constraints."

Chris Laffra, Jan van den Bos (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics