@article{BA:mcs,
    author      = "Amir M. Ben-Amram",
    title       = "Size-Change Termination, Monotonicity Constraints and Ranking Functions",
    journal      ={Logical Methods in Computer Science},
    volume         = 6,
    number         = 3,
   year        = 2010
}