Bibtex:CoLoR06

BibTex

<bibtex> @INPROCEEDINGS{blanqui06wst-color, AUTHOR = {F. Blanqui and S. Coupet-Grimal and W. Delobel and S. Hinderer and A. Koprowski}, TITLE = {CoLoR: a Coq Library on Rewriting and termination}, BOOKTITLE = {Proceedings of the 8th International Workshop on Termination (WST)}, YEAR = 2006, NOTE = {\url{http://color.inria.fr/}}} </bibtex>