Logic based integrity constraints and the design of dental prostheses - Hammond, P; Davenport, JC; Fitzpatrick, FJ (Artif Intell Med, 1993)