Fast exact minimization of BDDs (2000)

by R Drechsler, N Drechsler, W Günther
Venue:IEEE Trans. on CAD