@Article{AulDePPenPerJCSS09,
  author =  {V. Auletta and R. De Prisco and P. Penna and P. Persiano},
  title =   {The Power of Verification for One-Parameter Agents},
  journal = {Journal of Computer and System Sciences},
  volume=   {75},
  number =  {3},
  pages =   {190--211},
  year =    {2009}
}