%0 Journal Article
%A Lucas, Salvador
%T Polynomials over the reals in proofs of termination : from theory to practice
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2005
%P 547-586
%V 39
%N 3
%I EDP-Sciences
%U http://www.numdam.org/articles/10.1051/ita:2005029/
%R 10.1051/ita:2005029
%G en
%F ITA_2005__39_3_547_0