@ARTICLE{BK11,
author = {{B}urr, {M}. and {K}rahmer, {F}.},
title = {{S}q{F}ree{EVAL}: {A}n (almost) optimal real-root isolation algorithm},
journal = {{J}ournal of {S}ymbolic {C}omputation},
year = {2012},
volume = {47},
pages = {153--166},
number = {2},
annote = {journal},
url = {http://num.math.uni-goettingen.de/~f.krahmer/BK11.pdf}
}