彼得·布罗·米尔特森；贾库马尔·拉德哈克里希南；英戈·韦格纳 将CNF转换为DNF。 （英语） Zbl 1080.94018号 西奥。计算。科学。 347，编号1-2，325-335（2005）.MSC公司：94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.B.Miltersen}等人，Theor。计算。科学。347，编号1--2325--335（2005；Zbl 1080.94018） 全文： 内政部
彼得·布罗·米尔特森；贾库马尔·拉德哈克里希南；英戈·韦格纳 将CNF转换为DNF。 （英语） Zbl 1124.06302号 Rovan，Branislav（编辑）等人，《2003年计算机科学的数学基础》。2003年8月25-29日在斯洛伐克布拉迪斯拉发举行的第28届国际研讨会，MFCS 2003。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40671-9/pbk）。莱克特。注释计算。科学。2747, 612-621 (2003).MSC公司：06E30年 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.B.Miltersen}等人，Lect。注释计算。科学。2747612--621（2003年；Zbl 1124.06302） 全文： 内政部