On the success probability of the two provers in one-round proof systems | IEEE Conference Publication | IEEE Xplore