@inproceedings{kw2007,
  title = "Lifting Propositional Interpolants to the Word-Level",
  author = "Kroening, Daniel and Weissenbacher, Georg",
  year = "2007",
  booktitle = "Proceedings of FMCAD",
  note = "(also presented in the <a href="http://tresor.epfl.ch/dokuwiki/seminars/2008">TRESOR seminar at EPFL<a>, June 2008)",
  pages = "85--89",
  publisher = "IEEE",
  url = "http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.31",
}