Boaz Barak. Proof vs. Truth in Computational Complexity. Electronic Colloquium on Computational Complexity (ECCC), 19:120, 2012. [doi]
@article{Barak12-0, title = {Proof vs. Truth in Computational Complexity}, author = {Boaz Barak}, year = {2012}, url = {http://eccc.hpi-web.de/report/2012/120}, researchr = {https://researchr.org/publication/Barak12-0}, cites = {0}, citedby = {0}, journal = {Electronic Colloquium on Computational Complexity (ECCC)}, volume = {19}, pages = {120}, }