Efficient implementation of a bdd package (1991)

by K Brace, R Rudell, R Bryant
Venue:In Proceedings of the 27th ACM/IEEE design automation conference