Efficient implementation of a BDD package (1991)

by Karl S. Brace, Richard L. Rudell, Randal E. Bryant
Venue:In Proceedings of the 27th ACM/IEEE conference on Design autamation