Shivakumaraiah, Thornton, n.d.. Computation of disjoint cube representations using a maximal binate variable heuristic, in: . IEEE.. https://doi.org/10.1109/ssst.2002.1027079