On the power of single-valued nondeterministic polynomial time computations (1987)

by D Spreen, H Stahl
Venue:Computation Theory and Logic, Lec. Notes Comput. Sci. 270