@inproceedings{ranking-esop08,
  title = "Ranking Abstractions",
  author = "Aziem Chawdhary and Byron Cook and Sumit Gulwani and Mooly Sagiv and Hongseok Yang",
  year = "2008",
  address = "Budapest, Hangary",
  booktitle = "Proceedings of the 17th European Symposium on Programming",
  isbn = "978-3-540-78738-9",
  month = "April",
  pages = "148--162",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "4960",
}