Making nondeterminism unambiguous (1988)

by K Reinhardt, E Allender
Venue:SIAM Journal of Computing