A knowledge-based auto-reasoning methodology in hole-machining process planning. - Yongtao Hao; Ma Jingying (Comput. Ind., 2006)