John Keyser Tim Culver Mark Foskey Shankar Krishnan Dinesh Manocha ESOLID - a system for exact boundary evaluation. 175-193 2004 36 Computer-Aided Design 2 http://dx.doi.org/10.1016/S0010-4485(03)00060-5 db/journals/cad/cad36.html#KeyserCFKM04