@misc{indiciae3cca6300dd75, title = {Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-Prover Interactive Proof Systems}, author = {Tsuyoshi Ito and Hirotada Kobayashi and Daniel Preda and Xiaoming Sun and Andrew C. -C. Yao}, year = {2008}, url = {https://arxiv.org/abs/0712.2163}, note = {Source identifier: 0712.2163} }