@InProceedings{   48180,
  Author        = "Rabe, Markus N.",
  BookTitle     = "31st International Conference on Computer-Aided Verification",
  date-added    = "2019-09-03 08:38:40 +0200",
  date-modified = "2019-09-03 08:38:40 +0200",
  Title         = "Incremental Determinization for Quantifier Elimination and Functional Synthesis",
  Year          = "2019",
  File          = "3fb398b0c9e8d30dbf6b1ab052fe187e3edc3e40 (0) - a - a - t.pdf"
}

@InProceedings{ 48180, Author = "Rabe, Markus N.", BookTitle = "31st International Conference on Computer-Aided Verification", date-added = "2019-09-03 08:38:40 +0200", date-modified = "2019-09-03 08:38:40 +0200", Title = "Incremental Determinization for Quantifier Elimination and Functional Synthesis", Year = "2019", File = "3fb398b0c9e8d30dbf6b1ab052fe187e3edc3e40 (0) - a - a - t.pdf" }