Advanced computational geometry for proximity queries of convex polyhedras | IEEE Conference Publication | IEEE Xplore