et al, "Fast Recursive Boolean Function Manipulation (1982)

by R Brayton
Venue:International Symposium on Circuits and Systems, IEEE