Non-signaling proofs with o(√ log n) provers are in PSPACE.

Dhiraj Holden, Yael Tauman Kalai

Browse the full STOC paper archive.