B.  Fefferman and Kimmel, S., ?Quantum vs Classical Proofs and Subset Verification?, 2015.