Upper bounds for quantum interactive proofs with competing provers | IEEE Conference Publication | IEEE Xplore