Bibtex:CoLoR11

BibTex

<bibtex> @ARTICLE{blanqui11mscs, AUTHOR = {F. Blanqui and A. Koprowski}, TITLE = {CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates}, JOURNAL = {Mathematical Structures in Computer Science}, YEAR = {2011}, VOLUME = {?}, NUMBER = {?}, PAGES = {?-?}, NOTE = {To appear}} </bibtex>