Lance Fortnow Carsten Lund Interactive Proof Systems and Alternating Time-Space Complexity. 55-73 1993 113 Theor. Comput. Sci. 1 db/journals/tcs/tcs113.html#FortnowL93