TY  - RPRT
TI  - A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions
AU  - Andrea Asperti
AU  - Wilmer Ricciotti
AU  - Claudio Sacerdoti Coen
AU  - Enrico Tassi
PY  - 2012
DO  - 10.2168/lmcs-8(1:18)2012
UR  - https://arxiv.org/abs/1202.4905
ID  - 1202.4905
ER  -