@InProceedings{Cook:SAS05-87,
  author =       "Byron Cook and Andreas Podelski and Andrey
                 Rybalchenko",
  title =        "Abstraction Refinement for Termination",
  year =         "2005",
  pages =        "87--101",
  ee =           "http://dx.doi.org/10.1007/11547662_8",
  editor =       "Chris Hankin and Igor Siveroni",
  booktitle =    "Static Analysis, 12th International Symposium, {SAS}
                 2005, London, {UK}, September 7--9, 2005, Proceedings",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "3672",
  ISBN =         "3-540-28584-9",
}