Efficient Implementation of a (1990)

by K Brace, R Rudell, R Bryant
Venue:BDD Package,” Design Automation Conf