Forbes, et al.. Proof Complexity Lower Bounds from Algebraic Circuit Complexity. 16 June 2016, doi:10.4230/lipics.ccc.2016.32.