Or Meir On the Efficiency of Non-Uniform PCPP Verifiers. 2008 TR08 Electron. Colloquium Comput. Complex. https://eccc.weizmann.ac.il/eccc-reports/2008/TR08-064/index.html TR08-064 db/journals/eccc/eccc15.html#Meir08