원전서지만 확인
Trading group theory for randomnessLászló Babai · 1985STOC 1985 (Proceedings of the 17th Annual ACM Symposium on Theory of Computing), 421–429쪽 · 이어진 학술지 논문: L. Babai, S. Moran, 「Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes」, Journal of Computer and System Sciences 36(2), 254–276쪽 (1988)무작위로 묻는 검증자 Arthur 와 전능한 증명자 Merlin 이 주고받는 Arthur–Merlin 게임을 도입한 논문으로 널리 인용된다. 같은 학회에서 발표된 gmr-1989 의 대화형 증명과 함께, NP 의 「증명을 받아 검사한다」는 정의에 무작위성과 대화를 더한 출발점이다. IP = PSPACE 와 PCP 정리로 이어지는 흐름을 처음부터 적으려는 글에 필요하다.
확인:학회 논문과 뒤이은 학술지 논문 모두 Crossref 의 DOI 등록 기록으로 서지를 확인했다(본문은 열지 못함).