TY  - RPRT
TI  - Implementing program extraction from CL1-proofs
AU  - Meixia Qu
AU  - Ke Chen
AU  - Daming Zhu
AU  - Junfeng Luan
PY  - 2013
UR  - https://arxiv.org/abs/1311.6542
ID  - 1311.6542
ER  -