Ábrahám, E., Fontaine, P., Sturm, T., Wang, D., Ábrahám, E., Fontaine, P., Sturm, T., Wang, D., 2016. Symbolic Computation and Satisfiability Checking : Report of Dagstuhl Seminar 15471 Wadern.. https://doi.org/10.18154/rwth-2017-01217