马克西米利亚诺·克里斯蒂亚;吉安弗兰科·罗西 求解有限集和二元关系上的无量词一阶约束。 (英语) Zbl 1468.03009号 J.汽车。推理 64,第2期,295-330(2020年).MSC公司:03B35型 68N17号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Cristiá}和\textit{G.Rossi},J.Autom。推理64,No.2,295--330(2020;Zbl 1468.03009) 全文: 内政部
路易斯·克鲁兹·菲利佩;若昂·西尔瓦侯爵;彼得·施奈德·坎普 形式验证布尔勾股三元组问题的解决方案。 (英语) Zbl 1468.68318号 J.汽车。推理 63,第3期,695-722(2019).MSC公司:68V20型 5月10日 68兰特 68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Cruz-Filipe}等人,J.Autom。推理63,No.3,695--722(2019;Zbl 1468.68318) 全文: 内政部