@inproceedings{Iosif:2009:ATP:1577697.1577719,
    Address = {Berlin, Heidelberg},
    Author = {Iosif, Radu and Rogalewicz, Adam},
    BookTitle = {Proceedings of the 14th International Conference on Implementation and Application of Automata},
    File = {Automata-Based Termination Proofs - Iosif, Rogalewicz (0) (0) - a - a - h.pdf},
    ISBN = {978-3-642-02978-3},
    Location = {Sydney, Australia},
    Pages = {165--177},
    Publisher = {Springer-Verlag},
    Series = {CIAA '09},
    Title = {Automata-Based Termination Proofs},
    URL = {http://dx.doi.org/10.1007/978-3-642-02979-0\_20},
    Year = {2009},
    acmid = {1577719},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-02979-0\_20},
    date-added = {2013-12-03 12:25:56 +0000},
    date-modified = {2013-12-03 12:25:56 +0000},
    numpages = {13},
    doi = {10.1007/978-3-642-02979-0_20}
}

@inproceedings{Iosif:2009:ATP:1577697.1577719, Address = {Berlin, Heidelberg}, Author = {Iosif, Radu and Rogalewicz, Adam}, BookTitle = {Proceedings of the 14th International Conference on Implementation and Application of Automata}, File = {Automata-Based Termination Proofs - Iosif, Rogalewicz (0) (0) - a - a - h.pdf}, ISBN = {978-3-642-02978-3}, Location = {Sydney, Australia}, Pages = {165--177}, Publisher = {Springer-Verlag}, Series = {CIAA '09}, Title = {Automata-Based Termination Proofs}, URL = {http://dx.doi.org/10.1007/978-3-642-02979-0_20}, Year = {2009}, acmid = {1577719}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-02979-0_20}, date-added = {2013-12-03 12:25:56 +0000}, date-modified = {2013-12-03 12:25:56 +0000}, numpages = {13}, doi = {10.1007/978-3-642-02979-0_20} }