Evaluation of a Deductive Database System for CAD Applications. - Takagi, Toshihisa; Suzuki, Takahiko; Goto, Susumu; Ushijima, Kazuo (Systems & Computers in Japan, 1992)