An actual implementation of a procedure that mechanically proves termination of rewriting systems based on inequalities between polynomial interpretations
Authors:
A B Cherifa;P Lescanne
Affiliations:
-;-
Venue:
Proc. of the 8th international conference on Automated deduction