Nondeterministic space is closed under complementation (1988)

by Neil Immerman
Venue:SIAM Journal on Computing