@article{ITA_1991__25_2_157_0,
     author = {Rouyer, Jocelyne},
     title = {Preuves de terminaison de syst\`emes de r\'e\'ecriture fond\'ees sur les interpr\'etations polynomiales. {Une} m\'ethode bas\'ee sur le th\'eor\`eme de {Sturm}},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {157--169},
     publisher = {EDP-Sciences},
     volume = {25},
     number = {2},
     year = {1991},
     mrnumber = {1110982},
     zbl = {0731.68061},
     language = {fr},
     url = {http://archive.numdam.org/item/ITA_1991__25_2_157_0/}
}