@inproceedings{dkpwvmcai,
  title = "Interpolant Strength",
  author = "Vijay D'Silva and Daniel Kroening and  Mitra Purandare and Georg Weissenbacher",
  year = "2010",
  booktitle = "Proceedings of the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)",
  month = "January",
  note = "Extended version available as <a href="http://www.inf.ethz.ch/research/disstechreps/techreports/show?serial=652&lang=en">technical report</a>. <a href="http://www.georg.weissenbacher.name/slides/vmcai2010.pdf">Download slides.</a>",
  pages = "129-145",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-11319-2_12",
  volume = "5944",
  doi = "10.1007/978-3-642-11319-2_12",
}