TY  - RPRT
TI  - Every super-polynomial proof in purely implicational minimal logic has a polynomially sized proof in classical implicational propositional logic
AU  - Edward Hermann Haeusler
PY  - 2015
UR  - https://arxiv.org/abs/1505.06506
ID  - 1505.06506
ER  -