Xinyu Zhang Young J. Kim Dinesh Manocha Reliable sweeps. 373-378 2009 Symposium on Solid and Physical Modeling http://doi.acm.org/10.1145/1629255.1629306 conf/sma/2009 db/conf/sma/spm2009.html#ZhangKM09