Countable Nondeterminism and Random Assignment (1986)

by KRZYSZTOF R APT, GORDON D PLOTKIN
Venue:Journal of the ACM