DOI,IST REx ID,Research Group,Title of publication
10.1145/1993886.1993920,3330,HeEd,Root refinement for real polynomials