J·朗。;利伯拉托雷,P。;马奎斯,P。 命题独立性——公式变量独立性和遗忘。 (英语) Zbl 1056.68112号 J.阿蒂夫。智力。研究(JAIR) 18, 391-443 (2003).MSC公司:68T01型 PDF格式BibTeX公司 XML格式引用 \textit{J.Lang}等人,J.Artif。智力。研究(JAIR)18,391--443(2003;Zbl 1056.68112)
杰罗姆·朗;保罗·利伯拉托雷;皮埃尔·侯爵 命题逻辑中的条件独立性。 (英语) Zbl 1043.68094号 Artif公司。智力。 141,编号1-2,79-121(2002).MSC公司:68T27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Lang}等人,Artif。智力。141,编号1-2,79-121(2002年;Zbl 1043.68094) 全文: 内政部