@article{Cook:2011:PPT:1941487.1941509,
    Address = {New York, NY, USA},
    Author = {Cook, Byron and Podelski, Andreas and Rybalchenko, Andrey},
    File = {Proving Program Termination - Cook, Podelski, Rybalchenko (0) (0) - a - a - e.pdf},
    ISSN = {0001-0782},
    Journal = {Commun. ACM},
    Month = {May},
    Number = {5},
    Pages = {88--98},
    Publisher = {ACM},
    Title = {Proving Program Termination},
    URL = {http://doi.acm.org/10.1145/1941487.1941509},
    Volume = {54},
    Year = {2011},
    acmid = {1941509},
    bdsk-url-1 = {http://doi.acm.org/10.1145/1941487.1941509},
    bdsk-url-2 = {http://dx.doi.org/10.1145/1941487.1941509},
    date-added = {2013-12-11 13:09:07 +0000},
    date-modified = {2013-12-11 13:09:07 +0000},
    file-2 = {Proving Program Termination - Cook, Podelski, Rybalchenko (1) (0) - a - a - e.pdf},
    issue_date = {May 2011},
    numpages = {11},
    doi = {10.1145/1941487.1941509}
}

@article{Cook:2011:PPT:1941487.1941509, Address = {New York, NY, USA}, Author = {Cook, Byron and Podelski, Andreas and Rybalchenko, Andrey}, File = {Proving Program Termination - Cook, Podelski, Rybalchenko (0) (0) - a - a - e.pdf}, ISSN = {0001-0782}, Journal = {Commun. ACM}, Month = {May}, Number = {5}, Pages = {88--98}, Publisher = {ACM}, Title = {Proving Program Termination}, URL = {http://doi.acm.org/10.1145/1941487.1941509}, Volume = {54}, Year = {2011}, acmid = {1941509}, bdsk-url-1 = {http://doi.acm.org/10.1145/1941487.1941509}, bdsk-url-2 = {http://dx.doi.org/10.1145/1941487.1941509}, date-added = {2013-12-11 13:09:07 +0000}, date-modified = {2013-12-11 13:09:07 +0000}, file-2 = {Proving Program Termination - Cook, Podelski, Rybalchenko (1) (0) - a - a - e.pdf}, issue_date = {May 2011}, numpages = {11}, doi = {10.1145/1941487.1941509} }