부분 결과서지만 확인
Nondeterministic Space is Closed under ComplementationNeil Immerman · 1988SIAM Journal on Computing 17(5), 935–938쪽 (1988) · 학회 발표 Structure in Complexity Theory, Third Annual Conference (1988), 112–115쪽log n 이상의 공간에서 비결정적 공간 클래스가 여집합에 대해 닫혀 있음을 보인 네 쪽짜리 논문이다. NL = coNL 을 포함하는 결과로, Szelepcsényi 의 논문과 묶어 Immerman–Szelepcsényi 정리라 부른다. 시간 쪽의 NP 대 coNP 는 열려 있는데 공간 쪽은 풀렸다는 대비를 말할 때 인용한다.
확인:학술지판과 학회판 모두 Crossref 의 DOI 등록 기록으로 확인하고 학술지판 기록의 초록을 읽었다.