Reference:

Byron Cook, Andreas Podelski, and Andrey Rybalchenko. Proving program termination. Commun. ACM, 54(5):88–98, 2011.

Suggested BibTeX entry:

@article{DBLP:journalscacmCookPR11,
    author = {Byron Cook and Andreas Podelski and Andrey Rybalchenko},
    journal = {Commun. ACM},
    number = {5},
    pages = {88-98},
    title = {Proving program termination},
    volume = {54},
    year = {2011}
}