@misc{misc60a16949,
title   = {Multilevel logic minimization and test set generation using binary decision diagrams},
author = {Wang, Jiang Chau},
year = {1993},
publisher = {Case Center of Syracuse University}
}