Text this: Decomposition of a system of incompletely specified Boolean functions defined with a binary decision diagram.