Tsuyoshi Ito Hirotada Kobayashi Daniel Preda Xiaoming Sun Andrew Chi-Chih Yao Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-prover Interactive Proof Systems. 187-198 2008 IEEE Conference on Computational Complexity http://doi.ieeecomputersociety.org/10.1109/CCC.2008.12 conf/coco/2008 db/conf/coco/coco2008.html#ItoKPSY08