TY - RPRT TI - Approximation, Proof Systems, and Correlations in a Quantum World AU - Sevag Gharibian PY - 2013 UR - https://arxiv.org/abs/1301.2632 ID - 1301.2632 ER -