Paul Beame, Trinh Huynh, Toniann Pitassi. Hardness amplification in proof complexity. In Leonard J. Schulman, editor, Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010. pages 87-96, ACM, 2010. [doi]