@ARTICLE{BenAmramLee2007,
AUTHOR = {Ben-Amram, Amir M. and Lee, Chin Soon},
TITLE = {Program termination analysis in polynomial time},
JOURNAL = {ACM Transactions on Programming Languages and Systems},
PUBLISHER = {ACM},
YEAR = {2007},
NUMBER = {1},
VOLUME = {29},
PAGES = {5:1--37},
ADDRESS = {New York, NY, USA},
MONTH = {January},
ISBN = {0164-0925},
DOI = {10.1145/1180475.1180480},
}
Entry last modified by Anja Becker, 02/28/2008