Critic: a knowledge-based program for critiquing circuit designs. - Rick L. Spickelmier; A. Richard Newton (ICCD, 1988)