P. B. Miltersen, J. Radhakrishnan, og I. Wegener, “On converting CNF to DNF”, BRICS, bd. 10, nr. 45, dec. 2003.