Size-Change Termination, Monotonicity Constraints and Ranking Functions (Logical Methods in Computer Science, 2010)