139
click to vote
SOFSEM
2010
Springer
16 years 3 hour ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...