László Babai
Lance Fortnow
Leonid A. Levin
Mario Szegedy
Proceedings of the twenty-third annual ACM symposium on Theory of computing - STOC ’91
Guest column
Two prover protocols