Nondeterministic space is closed under complementation (1988)

by N Immermann
Venue:SIAM J. Comput