@misc{indiciaef2b6749b1f3d,
  title = {A reduction of proof complexity to computational complexity for \$AC\textasciicircum{}0[p]\$ Frege systems},
  author = {Jan Krajicek},
  year = {2014},
  doi = {10.1090/s0002-9939-2015-12610-x\#sthash.phkjnbmn.dpuf},
  url = {https://arxiv.org/abs/1311.2501},
  note = {Source identifier: 1311.2501}
}