Separating nondeterministic time complexity classes (1978)

by J Seiferas, M Fischer, A Meyer
Venue:Journal of the ACM