@misc{indiciae7e861de48d1e,
  title = {Unsound Inferences Make Proofs Shorter},
  author = {Juan P. Aguilera and Matthias Baaz},
  year = {2019},
  doi = {10.1017/jsl.2018.51},
  url = {https://arxiv.org/abs/1608.07703},
  note = {Source identifier: 1608.07703}
}