Unbounded Non-determinism in CSP

• 1 January 1993
• journal article
• Published by Oxford University Press (OUP) in Journal of Logic and Computation
• Vol. 3  (2) , 131-172
• https://doi.org/10.1093/logcom/3.2.131

Abstract