TY - RPRT TI - Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-Prover Interactive Proof Systems AU - Tsuyoshi Ito AU - Hirotada Kobayashi AU - Daniel Preda AU - Xiaoming Sun AU - Andrew C. -C. Yao PY - 2008 UR - https://arxiv.org/abs/0712.2163 ID - 0712.2163 ER -