TY  - RPRT
TI  - Extracting Herbrand trees from Coq
AU  - Lionel Rieg
PY  - 2013
UR  - https://arxiv.org/abs/1304.4557
ID  - 1304.4557
ER  -