Quantifiers, Games, and Interactive Proofs | Publicación