On the Power of Single-Valued Nondeterministic Polynomial Time Computations. - Dieter Spreen; Hans Stahl (Computation Theory and Logic, 1987)