On functions computable in nondeterministic polynomial time: some characterizations, in: E. Borger et al., eds (1988)

by D Spreen
Venue:CSL'87, 1st Workshop on Computer Science Logic, Proc., Lec. Notes Comput. Sci. 329