Matrix interpretations revisited
Résumé
This paper presents a generalization of the matrix interpretation orderings used to prove the termination of term rewriting systems. This extension allows
for more orderings and more matrices without increasing the search space.