Trân Quoc Nam A Hybrid Symbolic-Numerical Method for Tracing Surface-to-Surface Intersections. 51-58 1995 ISSAC http://doi.acm.org/10.1145/220346.220353 db/conf/issac/issac95.html#Nam95