Ranking functions for size change termination II. Presented at (Hofbauer and Serebrenik (2007)

by Amir M Ben-Amram, Chin Soon Lee