@misc{indiciae50baa9b26bde,
  title = {Every super-polynomial proof in purely implicational minimal logic has a polynomially sized proof in classical implicational propositional logic},
  author = {Edward Hermann Haeusler},
  year = {2015},
  url = {https://arxiv.org/abs/1505.06506},
  note = {Source identifier: 1505.06506}
}