Brönnimann, H., Burnikel, C., & Pion, S. (2001). Interval arithmetic yields efficient dynamic filters for computational geometry. Discrete Applied Mathematics, 109(1/2), 25-47.