Vincenzo Auletta Roberto De Prisco Paolo Penna Giuseppe Persiano The power of verification for one-parameter agents. 190-211 2009 75 J. Comput. Syst. Sci. 3 http://dx.doi.org/10.1016/j.jcss.2008.10.001 db/journals/jcss/jcss75.html#AulettaPPP09