Jochen Bern Christoph Meinel Anna Slobodová Global rebuilding of OBDD's avoiding memory requirement maxima. 131-134 1996 15 IEEE Trans. on CAD of Integrated Circuits and Systems 1 http://doi.ieeecomputersociety.org/10.1109/43.486279 db/journals/tcad/tcad15.html#BernMS96a