Iterated lower bound formulas: a diagonalization-based approach to proof complexity.

Rahul Santhanam, Iddo Tzameret

Browse the full STOC paper archive.