Evelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain. Mechanically Proving Termination Using Polynomial Interpretations.
Journal of Automated Reasoning, Springer Verlag, 2005, 34 (4), pp.325-363.
⟨10.1007/s10817-005-9022-x⟩.
⟨hal-01984434⟩