@inproceedings{esop2010,
  title = "Propositional Interpolation and Abstract Interpretation",
  author = "Vijay D'Silva",
  year = "2010",
  booktitle = "Proceedings of the European Symposium on Programming",
  copyright = "2010",
  editor = "Andrew Gordon",
  isbn = "978-3-642-11956-9",
  issn = "0302-9743 (Print) 1611-3349 (Online)",
  location = "Cyprus",
  note = "<a href="http://www.comlab.ox.ac.uk/people/Vijay.DSilva/talks/dsilva_ESOP_2010_talk.pdf">Presentation slides.</a> <a href="http://www.springerlink.com/content/a2j172132410g558/">Paper from Springer.</a>",
  pages = "185-204",
  publisher = "Springer.",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/people/Vijay.DSilva/papers/dsilva_esop2010_interpolation_abstract_interpretation.pdf",
  volume = "6012/2010",
  doi = "10.1007/978-3-642-11957-6",
}