尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。;亚历山大·托梅斯库一世。 使用ÆtnaNova正式证明Davis-Putnam可满足性测试是正确的。 (英语) 兹比尔1180.03015 Matematiche公司 63,第1期,85-105(2008).MSC公司:03B35型 03E30年 07年3月 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Omodeo}和\textit{A.I.Tomescu},马特马提奇63,第1期,第85--105页(2008;Zbl 1180.03015) 全文: 链接
坎通纳,多梅尼科;彼得罗·乌西诺 形成过程在集合论决策问题中的应用。 (英语) Zbl 1195.03012号 Matematiche公司 59,第1-2107-124号(2004年).MSC公司:03B25号 03E30年 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}和\textit{P.Ursino},Matematiche 59,No.1--2,107-124(2004;Zbl 1195.03012)
坎通纳,多梅尼科;文森佐·库特罗;阿尔贝托,Policriti 集合论中纯泛公式类和量词消去类的可判定性结果。 (英语) Zbl 0708.03006号 Matematiche公司 43,编号1-2,303-336(1988).MSC公司:03B25号 03E99型 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人,Matematiche 43,No.1--2,303--336(1988;Zbl 0708.03006)