@misc{indiciaec9ae20aa85dd,
  title = {CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates},
  author = {Frédéric Blanqui and Adam Koprowski},
  year = {2012},
  doi = {10.1017/s0960129511000120},
  url = {https://arxiv.org/abs/1202.6473},
  note = {Source identifier: 1202.6473}
}