Termination of rewriting systems by polynomial interpretations and its implementation (1987)

by A ben Cherifa, P Lescanne
Venue:Science of Computer Programming