IDP: automating the CAD/CAM link by reasoning about shape | IEEE Conference Publication | IEEE Xplore