TY  - RPRT
TI  - Ranking Functions for Size-Change Termination II
AU  - Amir M. Ben-Amram
AU  - Chin Soon Lee
PY  - 2009
DO  - 10.2168/lmcs-5(2:8)2009
UR  - https://arxiv.org/abs/0903.4382
ID  - 0903.4382
ER  -