Restructuring Logic Representations With Easily Detectable Simple Disjunctive Decompositions

doi 10.1109/date.1998.655943