Size-Change Termination with Difference Constraints. - Ben-Amram, Amir M. (ACM Transactions on Programming Languages & Systems, 2008)