"On transformation of interactive proofs that preserve the prover's complexity."

Salil P. Vadhan (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics