Making nondeterminism unambiguous (2000)

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