Bofill, Miquel; Borralleras Andreu, Cristina; Rodríguez-Carbonell, Enric; Rubio, Albert
(Oxford University Press, 06-2012)
In most termination tools two ingredients, namely recursive path orderings (RPOs) and polynomial interpretation orderings
(POLOs), are used in a consecutive disjoint way to solve the final constraints generated from the ...