Knowledge Based Approach for the Verification of CAD Database Generated by an Automated Schematic Capture System. - J. Y. Tou; W. H. Ki; K. C. Fan; C. L. Huang (DAC, 1987)