Eliminating redundant primitives from set-theoretic solid models by a consideration of constituents | IEEE Journals & Magazine | IEEE Xplore