Frédéric Blanqui, Adam Koprowski. CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates.
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2011, 21 (4), pp.827-859.
⟨10.1017/S0960129511000120⟩.
⟨inria-00543157⟩