Graph-based algorithms for boolean function manipulation (1986)

by R E Bryant
Venue:IEEE Transactions on Computers C-35