Mehlhorn, K., Burnikel, C., Fleischer, R., & Schirra, S. (1997). A Strong and Easily Computable Separation Bound for Arithmetic Expressions Involving Square Roots. In Proceedings of the 8th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 702-709). New York, NY: ACM / SIAM.