Funke, S., Mehlhorn, K., & Näher, S. (2005). Structural Filtering: a Paradigm for Efficient and Exact Geometric Programs. Computational Geometry, 31(3), 179-194. doi:10.1016/j.comgeo.2004.12.007.