Lance Fortnow Diagonalization. 102-114 2001 Current Trends in Theoretical Computer Science db/books/collections/PhaunRS2001.html#Fortnow01