부분 결과서지만 확인
A hierarchy for nondeterministic time complexityStephen A. Cook · 1973Journal of Computer and System Sciences 7(4), 343–353쪽 (1973) · 학회 발표 STOC 1972, 187–192쪽비결정적 시간에도 위계 정리가 성립함을 처음 증명한 논문이다. 따름 결과로 NP ≠ NEXP 가 나온다. 2-4 의 부분 결과 개관과 시간 위계 정리 글이 인용한다.
확인:게시자 누리집이 자동 접속을 막아 원문을 열지 못함. 서지는 Crossref 의 DOI 등록 기록으로, 내용은 Arora–Barak 공개 초고 3장과 영어 위키백과 「Time hierarchy theorem」 문서로 확인.