Graph driven BDDs: A new data structure for Boolean functions (1995)

by D Sieling, I Wegener
Venue:Theoretical Computer Science, 141(1