원전서지만 확인
The Polynomial-Time HierarchyLarry J. Stockmeyer · 1976Theoretical Computer Science 3(1), 1–22쪽 (1976 · Arora–Barak 은 연도를 1977년으로 적는다)다항 위계의 형식적 정의가 나온 논문이다. NP 와 coNP 위에 한정 기호가 번갈아 나오는 문제를 층층이 쌓은 위계를 다룬다. 1-1 의 「여러 얼굴」 글이 인용한다. 게시자(Elsevier) 페이지로 연결된다.
확인:논문 본문은 열지 못함. 서지는 Crossref 의 DOI 등록 기록으로, 위계의 형식적 정의가 이 논문에서 왔다는 것은 Arora–Barak 공개 초고 5장의 주석으로 확인.