Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs