Miltersen PB, Radhakrishnan J, Wegener I. On converting CNF to DNF. BRICS [Internet]. 11. december 2003 [henvist 6. december 2025];10(45). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21817