TY  - RPRT
TI  - On the Herbrand content of LK
AU  - Bahareh Afshari
AU  - Stefan Hetzl
AU  - Graham E. Leigh
PY  - 2016
DO  - 10.4204/eptcs.213.1
UR  - https://arxiv.org/abs/1606.06384
ID  - 1606.06384
ER  -