@misc{indiciae05e376534316,
  title = {A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions},
  author = {Andrea Asperti and Wilmer Ricciotti and Claudio Sacerdoti Coen and Enrico Tassi},
  year = {2012},
  doi = {10.2168/lmcs-8(1:18)2012},
  url = {https://arxiv.org/abs/1202.4905},
  note = {Source identifier: 1202.4905}
}