"Concurrent Constraint Programming Based on Functional Programming ..."

Gert Smolka (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics