Dieter Spreen, Hans Stahl. On the Power of Single-Valued Nondeterministic Polynomial Time Computations. In Egon Börger, editor, Computation Theory and Logic, In Memory of Dieter Rödding. Volume 270 of Lecture Notes in Computer Science, pages 403-414, Springer, 1987.
Abstract is missing.