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

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