Burnikel, C., Funke, S., Mehlhorn, K., Schirra, S., & Schmitt, S. (2009). A Separation Bound for Real Algebraic Expressions. Algorithmica, 55, 14-28. doi:10.1007/s00453-007-9132-4.