Olivier Devillers Alexandra Fronville Bernard Mourrain Monique Teillaud Algebraic methods and arithmetic filtering for exact predicates on circle arcs. 119-142 2002 22 Comput. Geom. 1-3 db/journals/comgeo/comgeo22.html#DevillersFMT02