Dimitris Fotakis, Paul G. Spirakis. (poly(log log n), poly(log log n))-Restricted Verifiers are Unlikely to Exist for Languages in NP. In Wojciech Penczek, Andrzej Szalas, editors, Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS 96, Cracow, Poland, September 2-6, 1996, Proceedings. Volume 1113 of Lecture Notes in Computer Science, pages 360-371, Springer, 1996.
Abstract is missing.