Symbolic manipulation of Boolean functions using a graphical representation (1985)

by R E Bryant
Venue:in “22nd ACM/IEEE Design Automation Conf