2024) Martin Furer, Oded Goldreich, Yishay Mansour, Michael Sipser, StathisZachos. On Completeness and Soundness in Interactive Proof Systems. Advances
Symmetric Alternation captures BPP Ravi B. Boppana, Johan Hastad et StathisZachos, « Does co-NP have short interactive proofs? », Information Processing