Vlad Rusu Manuel Clavel Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. 83-112 2009 7 Stud. Inform. Univ. 2 http://studia.complexica.net/index.php?option=com_content&view=article&id=129 db/journals/siu/siu7.html#RusuC09