P. B. Miltersen, J. Radhakrishnan, and I. Wegener, “On converting CNF to DNF”, BRICS, vol. 10, no. 45, Dec. 2003.