@inproceedings{kroening_weissenbacher_hvc_09,
  title = "An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions",
  author = "Daniel Kroening and Georg Weissenbacher",
  year = "2010",
  booktitle = "Proceedings of the 5th Haifa Verification Conference",
  editor = "Kedar Namjoshi and Andreas Zeller",
  location = "Haifa, Israel",
  note = "This work was also presented at the  <a href="http://www.iist.unu.edu/index.php/seminars-and-colloquia-2010">UNU IIST seminar in Macau</a> <a href="http://www.georg.weissenbacher.name/slides/macau2010.pdf">(click here for slides)</a> in January 2010.",
  publisher = "Springer",
  series = "LNCS",
}