Miltersen, Peter Bro, Jaikumar Radhakrishnan, and Ingo Wegener. “On Converting CNF to DNF”. BRICS Report Series 10, no. 45 (December 11, 2003). Accessed April 20, 2024. https://tidsskrift.dk/brics/article/view/21817.