@InProceedings{   10.5555/1763048.1763087,
  Author        = "Beyer, Dirk and Henzinger, Thomas A. and Majumdar, Rupak and Rybalchenko, Andrey",
  Address       = "Berlin, Heidelberg",
  BookTitle     = "Proceedings of the 8th International Conference on Verification, Model Checking, and Abstract Interpretation",
  date-added    = "2020-04-01 14:26:43 +0200",
  date-modified = "2020-04-01 14:26:43 +0200",
  ISBN          = "9783540697350",
  Location      = "Nice, France",
  numpages      = "17",
  Pages         = "378--394",
  Publisher     = "Springer-Verlag",
  Series        = "VMCAI'07",
  Title         = "Invariant Synthesis for Combined Theories",
  Year          = "2007",
  File          = "Invariant Synthesis for Combined Theories - a - a - a - o.pdf"
}

@InProceedings{ 10.5555/1763048.1763087, Author = "Beyer, Dirk and Henzinger, Thomas A. and Majumdar, Rupak and Rybalchenko, Andrey", Address = "Berlin, Heidelberg", BookTitle = "Proceedings of the 8th International Conference on Verification, Model Checking, and Abstract Interpretation", date-added = "2020-04-01 14:26:43 +0200", date-modified = "2020-04-01 14:26:43 +0200", ISBN = "9783540697350", Location = "Nice, France", numpages = "17", Pages = "378--394", Publisher = "Springer-Verlag", Series = "VMCAI'07", Title = "Invariant Synthesis for Combined Theories", Year = "2007", File = "Invariant Synthesis for Combined Theories - a - a - a - o.pdf" }