TY  - RPRT
TI  - Proof-graphs for Minimal Implicational Logic
AU  - Marcela Quispe-Cruz
AU  - Edward Hermann Haeusler
AU  - Lew Gordeev
PY  - 2014
DO  - 10.4204/eptcs.144.2
UR  - https://arxiv.org/abs/1404.0082
ID  - 1404.0082
ER  -