TY  - RPRT
TI  - CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates
AU  - Frédéric Blanqui
AU  - Adam Koprowski
PY  - 2012
DO  - 10.1017/s0960129511000120
UR  - https://arxiv.org/abs/1202.6473
ID  - 1202.6473
ER  -