@misc{indiciaef36960fc7fcc,
  title = {Implementing program extraction from CL1-proofs},
  author = {Meixia Qu and Ke Chen and Daming Zhu and Junfeng Luan},
  year = {2013},
  url = {https://arxiv.org/abs/1311.6542},
  note = {Source identifier: 1311.6542}
}