Making Nondeterminism Unambiguous (1998)

by Klaus Reinhardt, Eric Allender
Venue:SIAM Journal of Computing