On helping and interactive proof systems - Arvind, Vikraman; Köbler, Johannes; Schuler, Rainer (Ulmer Informatik-Berichte, 1994)