TY  - RPRT
TI  - Unsound Inferences Make Proofs Shorter
AU  - Juan P. Aguilera
AU  - Matthias Baaz
PY  - 2019
DO  - 10.1017/jsl.2018.51
UR  - https://arxiv.org/abs/1608.07703
ID  - 1608.07703
ER  -