@article{Ben-Amram:2007:PTA:1180475.1180480,
    Address = {New York, NY, USA},
    Author = {Ben-Amram, Amir M. and Lee, Chin Soon},
    File = {Program termination analysis in polynomial time - Ben-Amram, Lee (0) (0) - a - a - k.pdf},
    ISSN = {0164-0925},
    Issue = {1},
    Journal = {ACM Trans. Program. Lang. Syst.},
    Keywords = {size-change termination},
    Month = {January},
    Pages = {5:1--5:37},
    Publisher = {ACM},
    Title = {Program termination analysis in polynomial time},
    URL = {http://doi.acm.org/10.1145/1180475.1180480},
    Volume = {29},
    Year = {2007},
    acmid = {1180480},
    articleno = {5},
    bdsk-url-1 = {http://doi.acm.org/10.1145/1180475.1180480},
    date-added = {2012-03-06 11:32:32 +0100},
    date-modified = {2012-03-06 10:32:47 +0000},
    issue_date = {January 2007},
    numpages = {37},
    doi = {10.1145/1180475.1180480}
}

@article{Ben-Amram:2007:PTA:1180475.1180480, Address = {New York, NY, USA}, Author = {Ben-Amram, Amir M. and Lee, Chin Soon}, File = {Program termination analysis in polynomial time - Ben-Amram, Lee (0) (0) - a - a - k.pdf}, ISSN = {0164-0925}, Issue = {1}, Journal = {ACM Trans. Program. Lang. Syst.}, Keywords = {size-change termination}, Month = {January}, Pages = {5:1--5:37}, Publisher = {ACM}, Title = {Program termination analysis in polynomial time}, URL = {http://doi.acm.org/10.1145/1180475.1180480}, Volume = {29}, Year = {2007}, acmid = {1180480}, articleno = {5}, bdsk-url-1 = {http://doi.acm.org/10.1145/1180475.1180480}, date-added = {2012-03-06 11:32:32 +0100}, date-modified = {2012-03-06 10:32:47 +0000}, issue_date = {January 2007}, numpages = {37}, doi = {10.1145/1180475.1180480} }