Christoph Burnikel Stefan Funke Kurt Mehlhorn Stefan Schirra Susanne Schmitt A Separation Bound for Real Algebraic Expressions. 254-265 2001 conf/esa/2001 ESA http://link.springer.de/link/service/series/0558/bibs/2161/21610254.htm db/conf/esa/esa2001.html#BurnikelFMSS01