Complexity 11-1 Complexity Andrei Bulatov Space Complexity.
Computability and Complexity
Non-Deterministic Space is Closed Under Complementation