Reference:

Andreas Podelski and Andrey Rybalchenko. Transition invariants and transition predicate abstraction for program termination. In Abdulla and Leino, pages 3–10.

Suggested BibTeX entry:

@inproceedings{DBLP:conftacasPodelskiR11,
    author = {Andreas Podelski and Andrey Rybalchenko},
    booktitle = {TACAS},
    editor = {Parosh Aziz Abdulla and K. Rustan M. Leino},
    pages = {3-10},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Transition Invariants and Transition Predicate Abstraction for Program Termination},
    volume = {6605},
    year = {2011}
}