Miltersen, P. B.; Radhakrishnan, J.; Wegener, I. On Converting CNF to DNF. BRICS 2003, 10.