@InProceedings{Jaroschek1,
  author =       "Maximilian Jaroschek and Pablo Federico Dobal and
                 Pascal Fontaine",
  title =        "Adapting Real Quantifier Elimination Methods for
                 Conflict Set Computation",
  booktitle =    frocos,
  pages =        "151--166",
  year =         "2015",
  doi =          "10.1007/978-3-319-24246-0_10",
  editor =       "Carsten Lutz and Silvio Ranise",
  series =       lncs,
  volume =       "9322",
  publisher =    "Springer",
  URL =          "Jaroschek1.pdf",
}