@article{BL:ranking2,
    author      = "Amir M. Ben-Amram and Chin Soon Lee",
    title       = "Ranking Functions for Size-Change Termination II",
    journal      ={Logical Methods in Computer Science},
    volume         = 5,
    number         = 2,
   year        = 2009
}