On the role of shared randomness in two prover proof systemsMihir BellareU. Feigeet al.1995ISTCS 1995