부분 결과서지만 확인
IP = PSPACEAdi Shamir · 1992Journal of the ACM 39(4), 869–877쪽 (1992) · 학회 발표 FOCS 1990 (31st Annual Symposium on Foundations of Computer Science), 11–15쪽대화형 증명으로 증명할 수 있는 문제의 모임이 정확히 PSPACE 임을 보인 논문이다. 상대화되지 않는 증명의 대표 사례다. 같은 호에 나란히 실린 lfkn-1992 의 기법 위에 서 있으므로 두 편을 함께 본다. ACM 디지털 도서관으로 연결된다.
확인:게시자 누리집이 자동 접속을 막아 원문을 열지 못함. 서지는 Crossref 의 DOI 등록 기록으로, 내용은 Aaronson 2017 §6.3.1 과 Arora–Barak 공개 초고 8장의 역사 주석으로 확인.