부분 결과서지만 확인
Non-deterministic exponential time has two-prover interactive protocolsLászló Babai, Lance Fortnow, Carsten Lund · 1991Computational Complexity 1(1), 3–40쪽 (1991) · 학회 발표 FOCS 1990 (31st Annual Symposium on Foundations of Computer Science), 16–25쪽제목이 말하듯 비결정적 지수 시간의 모든 문제가 증명자 둘인 대화형 증명을 가진다는 결과를 실은 논문이다(흔히 MIP = NEXP 로 요약한다). IP = PSPACE 직후에 나온 결과로, 산술화 기법이 상대화 장벽을 넘는 또 하나의 예로 꼽힌다. PCP 정리로 가는 길목이어서 2-4 의 PCP 글을 보충해 읽으려는 독자에게 맞다.
확인:학술지판과 학회판 모두 Crossref 의 DOI 등록 기록으로 서지를 확인했다(본문은 열지 못함).