"Nondeterminism and Infinite Computations in Constraint Programming."

Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi (1995)
a service of Schloss Dagstuhl - Leibniz Center for Informatics