Nondeterminism and infinite computations in constraint programming (1995)

by F S de Boer, A D Pierro, C Palamidessi
Venue:Theoretical Computer Science