Amir M. Ben-Amram Chin Soon Lee Ranking Functions for Size-Change Termination II http://arxiv.org/abs/0903.4382 2009 Logical Methods in Computer Science 5 db/journals/lmcs/lmcs5.html#abs-0903-4382 2