Efficient implementation of a BDD package,” in (1990)

by K S Brace, R L Rudell, R E Bryant
Venue:Proc. of the Design Automation Conf.,