Adam W. Strzebonski: CAD Adjacency Computation Using Validated Numerics. ISSAC 2017: 413-420