Miltersen, Peter Bro, Jaikumar Radhakrishnan, and Ingo Wegener. 2003. “On Converting CNF to DNF”. BRICS Report Series 10 (45). https://doi.org/10.7146/brics.v10i45.21817.