Nondeterministic space is closed under complementation (1988)

by N Immerman
Venue:SIAM Journal on Computing