The Light Lexicographic path Ordering

E. A. Cichon, J-Y. Marion

We introduce syntactic restrictions of the lexicographic path ordering to obtain the Light Lexicographic Path Ordering. We show that the light lexicographic path ordering leads to…