@InProceedings{   DBLP:conf/cav/BeyenePR13,
  Author        = "Beyene, Tewodros A. and Popeea, Corneliu and Rybalchenko, Andrey",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "CAV",
  date-added    = "2013-07-15 10:23:35 +0000",
  date-modified = "2014-03-11 15:35:33 +0000",
  ee            = "http://dx.doi.org/10.1007/978-3-642-39799-8\_61",
  Keywords      = "readme",
  Pages         = "869-882",
  Title         = "Solving Existentially Quantified Horn Clauses",
  Year          = "2013",
  File          = "Solving Existentially Quantified Horn Clauses - Beyene, Popeea, Rybalchenko (0) (0) - a - a - e.pdf"
}

@InProceedings{ DBLP:conf/cav/BeyenePR13, Author = "Beyene, Tewodros A. and Popeea, Corneliu and Rybalchenko, Andrey", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "CAV", date-added = "2013-07-15 10:23:35 +0000", date-modified = "2014-03-11 15:35:33 +0000", ee = "http://dx.doi.org/10.1007/978-3-642-39799-8_61", Keywords = "readme", Pages = "869-882", Title = "Solving Existentially Quantified Horn Clauses", Year = "2013", File = "Solving Existentially Quantified Horn Clauses - Beyene, Popeea, Rybalchenko (0) (0) - a - a - e.pdf" }