比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。;格雷姆·恒河;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯图基(Peter J.Stuckey)。 使用约束Horn子句进行前提推理的迭代方法。 (英语) Zbl 1451.68075号 理论与实践。日志。程序。 18,编号3-4,553-570(2018).MSC公司:68纳米30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Kafle}等人,《理论与实践》。日志。程序。18、编号3--4、553--570(2018;Zbl 1451.68075) 全文: DOI程序 arXiv公司
朱塞佩·莱蒂埃里 基因型消除算法的抽象解释框架。 (英语) Zbl 1242.68167号 西奥。计算。科学。 436, 87-105 (2012).MSC公司:60年第68季度 2017年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \文本{G.Lettieri},Theor。计算。科学。436,87--105(2012;Zbl 1242.68167) 全文: DOI程序 链接