@misc{indiciaec715ad04e7c5,
  title = {Proof Complexity Lower Bounds from Algebraic Circuit Complexity},
  author = {Michael A. Forbes and Amir Shpilka and Iddo Tzameret and Avi Wigderson},
  year = {2016},
  doi = {10.4230/lipics.ccc.2016.32},
  url = {https://arxiv.org/abs/1606.05050},
  note = {Source identifier: 1606.05050}
}