An Actual Implementation of a Procedure That Mechanically Proves Termination of Rewriting Systems Based on Inequalities Between Polynomial Interpretations. - Ahlem Ben Cherifa; Pierre Lescanne (CADE, 1986)

Termination of Rewriting Systems by Polynomial Interpretations and Its Implementation. - Ahlem Ben Cherifa; Pierre Lescanne (Sci. Comput. Program., 1987)