@techreport{contejean:inria-00001167, TITLE = {{Mechanically proving termination using polynomial interpretations}}, AUTHOR = {Contejean, Evelyne and March{\'e}, Claude and Tomas, Ana-Paula and Urbain, Xavier}, URL = {https://inria.hal.science/inria-00001167}, TYPE = {Intern report}, NUMBER = {1382}, YEAR = {2006}, HAL_ID = {inria-00001167}, HAL_VERSION = {v1}, }