Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs.

Manh Thang Nguyen, Danny De Schreye

Browse the full ICLP paper archive.