@InProceedings{   LNCS80440313,
  Author        = "Albarghouthi, Aws and McMillan, Kenneth L.",
  Editor        = "Sharygina, Natasha and Veith, Helmut",
  BookTitle     = "Computer Aided Verification",
  date-added    = "2013-07-24 12:32:36 +0000",
  date-modified = "2013-07-24 12:32:36 +0000",
  ISBN          = "978-3-642-39798-1",
  Location      = "Heidelberg",
  Pages         = "313--329",
  Publisher     = "Springer",
  Series        = "Lecture Notes in Computer Science",
  Title         = "Beautiful Interpolants",
  Volume        = "8044",
  Year          = "2013",
  File          = "Beautiful Interpolants - Albarghouthi, McMillan (0) (0) - a - a - a.pdf"
}

@InProceedings{ LNCS80440313, Author = "Albarghouthi, Aws and McMillan, Kenneth L.", Editor = "Sharygina, Natasha and Veith, Helmut", BookTitle = "Computer Aided Verification", date-added = "2013-07-24 12:32:36 +0000", date-modified = "2013-07-24 12:32:36 +0000", ISBN = "978-3-642-39798-1", Location = "Heidelberg", Pages = "313--329", Publisher = "Springer", Series = "Lecture Notes in Computer Science", Title = "Beautiful Interpolants", Volume = "8044", Year = "2013", File = "Beautiful Interpolants - Albarghouthi, McMillan (0) (0) - a - a - a.pdf" }