@article{DBLP:journals/tcad/HongBBM00,
author = {Youpyo Hong and
Peter A. Beerel and
Jerry R. Burch and
Kenneth L. McMillan},
title = {Sibling-substitution-based BDD minimization using don't
cares},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {19},
number = {1},
year = {2000},
pages = {44-55},
ee = {http://doi.ieeecomputersociety.org/10.1109/43.822619},
bibsource = {DBLP, http://dblp.uni-trier.de}
}