Rolf Drechsler Wolfgang Günther Using Lower Bounds During Dynamic BDD Minimization. 29-32 1999 DAC http://doi.acm.org/10.1145/309847.309858 db/conf/dac/dac99.html#DrechslerG99