Nondeterminism and infinite computations in constraint programming / F.S. de Boer, A. Di Pierro, C. Palamidessi
Nondeterminism and infinite computations in constraint programming