@misc{indiciae8fa0ef0ddd21,
  title = {Proof complexity of intuitionistic implicational formulas},
  author = {Emil Jeřábek},
  year = {2016},
  doi = {10.1016/j.apal.2016.09.003},
  url = {https://arxiv.org/abs/1512.05667},
  note = {Source identifier: 1512.05667}
}