@inproceedings{CR09,
title = {V\'erification d'invariants pour des syst\`emes sp\'ecifi\'es en logique de r\'e\'ecriture},
author = {V.~Rusu and M.~Clavel},
booktitle = {Proceedings of JFLA 2009: Journ\'ees Francophones des Langages Applicatifs},
projects = {MERIT,PROMESAS,STAMP},
butype = {},
note = {To appear in \emph{Studia Informatica Universalis}},
year = {2009}
}