A flexible quantitative method for NC machining verification using a space-division based solid model. - Yasumasa Kawashima; Kumiko Itoh; Tomotoshi Ishida; Shiro Nonaka; Kazuhiko Ejiri (Vis. Comput., 1991)