The development of an integrated and intelligent CAD/CAPP/CAFP environment using logic-based reasoning. - Jerry Y. H. Fuh; Chao-Hwa Chang; Michel A. Melkanoff (Comput. Aided Des., 1996)