Masatomo Inui Fumihiko Kimura Using a truth-maintenance system to assist product-model construction for design and process planning. 59-70 1993 25 Computer-Aided Design 1 http://dx.doi.org/10.1016/0010-4485(93)90066-W db/journals/cad/cad25.html#InuiK93