Representations for a rule based assistant for designing combinational circuits. - Sundaravarathan R. Iyengar; Ravi Manghirmalani; Nancy Nettleton; Joseph Borgia (ACM Conference on Computer Science, 1985)