11
The Paper
•Extends this theorem to other forms of iterations and other complexity classes