@ARTICLE{Lee2009,
AUTHOR = {Lee, Chin Soon},
TITLE = {Ranking functions for size-change termination},
JOURNAL = {ACM Transactions on Programming Languages and Systems},
PUBLISHER = {ACM},
YEAR = {2009},
NUMBER = {3},
VOLUME = {31},
PAGES = {10:1--10:42},
ADDRESS = {New York, NY},
ISBN = {0164-0925},
DOI = {10.1145/1498926.1498928},
}
Entry last modified by Anja Becker, 08/25/2014