@InProceedings{   DBLP:conf/sas/BjornerMR13,
  Author        = "Bj{\o}rner, Nikolaj and McMillan, Kenneth L. and Rybalchenko, Andrey",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "SAS",
  date-added    = "2013-07-15 10:23:51 +0000",
  date-modified = "2013-07-15 10:23:51 +0000",
  ee            = "http://dx.doi.org/10.1007/978-3-642-38856-9\_8",
  Pages         = "105-125",
  Title         = "On Solving Universally Quantified Horn Clauses",
  Year          = "2013"
}

@InProceedings{ DBLP:conf/sas/BjornerMR13, Author = "Bj{\o}rner, Nikolaj and McMillan, Kenneth L. and Rybalchenko, Andrey", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "SAS", date-added = "2013-07-15 10:23:51 +0000", date-modified = "2013-07-15 10:23:51 +0000", ee = "http://dx.doi.org/10.1007/978-3-642-38856-9_8", Pages = "105-125", Title = "On Solving Universally Quantified Horn Clauses", Year = "2013" }