Daphne Koller
Nimrod Megiddo
Proceedings of the twenty-fifth annual ACM symposium on Theory of computing - STOC ’93
Two prover protocols