Oliveira, et al.. An Implicit Formulation for Exact BDD Minimization of Incompletely Specified Functions. Springer US, 1997, doi:10.1007/978-0-387-35311-1_26.