TY  - RPRT
TI  - On the horizontal compression of dag-derivations in minimal purely implicational logic
AU  - Edward Hermann Haeusler
AU  - José Flávio Cavalcante Barros Junior
AU  - Robinson
PY  - 2025
UR  - https://arxiv.org/abs/2206.02300
ID  - 2206.02300
ER  -