Erratum to:
Size Change Termination, Monotonicity Constraints and Ranking Functions,
Logical Methods in Computer Science, 6 (3), 2010.
In Theorem 6.17 (p.28), the superscript m in Vm should be changed into
mBn.
That is, the latter is the correct bound on the maximal constant in the vectors generated by my algorithm.