Jaroschek, Maximilian Automation of Logic, MPI for Informatics, Max Planck Society;
Jaroschek, M., Dobal, P. F., & Fontaine, P. (2015). Adapting Real Quantifier Elimination Methods for Conflict Set Computation. In C. Lutz, & S. Ranise (Eds.), Frontiers of Combining Systems (pp. 151-166). Berlin: Springer. doi:10.1007/978-3-319-24246-0_10.