Eli Ben-Sasson Alessandro Chiesa Ariel Gabizon Michael Riabzev Nicholas Spooner Interactive Oracle Proofs with Constant Rate and Query Complexity. 40:1-40:15 2017 ICALP https://doi.org/10.4230/LIPIcs.ICALP.2017.40 conf/icalp/2017 db/conf/icalp/icalp2017.html#Ben-SassonCGRS17