Nondeterminism and infinite computations in constraint programming (1995)

by F S de Boer, A D Pierro, C Palamidessi
Venue:Theor. Comput. Sci