@InProceedings{Podelski:POPL05-132,
  author =       "Andreas Podelski and Andrey Rybalchenko",
  title =        "Transition Predicate Abstraction and Fair
                 Termination",
  year =         "2005",
  pages =        "132--144",
  ee =           "http://doi.acm.org/10.1145/1040305.1040317",
  editor =       "Jens Palsberg and Mart\'{\i}n Abadi",
  booktitle =    "Proceedings of the 32nd {ACM} {SIGPLAN}-{SIGACT}
                 Symposium on Principles of Programming Languages,
                 {POPL} 2005, Long Beach, California, {USA}, January
                 12--14, 2005",
  publisher =    "ACM",
  ISBN =         "1-58113-830-X",
}