DEVE: An Expert System for Hardware Design Verification. - A. Mete Kabakçioglu; Olga L. Mazuera (ICTAI, 1992)