부분 결과서지만 확인
The method of forced enumeration for nondeterministic automataRóbert Szelepcsényi · 1988Acta Informatica 26(3), 279–284쪽 (1988)비결정적 공간 클래스가 여집합에 대해 닫혀 있다는 결과를 Immerman 과 따로 얻은 논문으로 널리 인용된다. immerman-1988 과 짝으로 인용하는 문헌이다. 1987년으로 적는 문헌도 있는데 먼저 나온 예비 발표를 가리키는 것으로 알려져 있고, 여기 적은 것은 학술지판(1988)의 서지다.
확인:Crossref 의 DOI 등록 기록으로 제목·저자·권호·쪽을 확인했다(본문은 열지 못함).