@article{BA:delta,
 author = {Amir M. Ben-Amram},
 title = {Size-change termination with difference constraints},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {30},
 number = {3},
 year = {2008},
 issn = {0164-0925},
 pages = {1--31},
 doi = {http://doi.acm.org/10.1145/1353445.1353450},
 publisher = {ACM},
 address = {New York, NY, USA},
 source = "ACM",
 }