克里斯蒂娜·博拉莱拉斯;萨尔瓦多卢卡斯;阿尔伯特·奥利弗拉斯;罗德里格斯·卡博内尔,恩里克;阿尔伯特·鲁比奥 求解多项式约束的SAT模线性算法。 (英语) Zbl 1243.68210号 J.汽车。推理 48,第1期,107-131(2012).MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Borraleras}等人,J.Autom。推理48,No.1,107--131(2012;Zbl 1243.68210) 全文: 内政部 链接
丹尼尔·祖切利;恩里卡·尼科里尼 无限状态系统模型检验的可判定性结果。 (英语) 兹比尔1279.68226 J.汽车。推理 48,第1号,1-42(2012).MSC公司:60年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Zucchelli}和\textit{E.Nicolini},J.Autom。推理48,No.1,1--42(2012;Zbl 1279.68226) 全文: 内政部
艾米·费尔蒂;阿尔贝托·莫米利亚诺 混合。使用高阶抽象语法进行推理的定义性两级方法。 (英语) Zbl 1252.68252号 J.汽车。推理 48,第1期,43-105(2012).MSC公司:68吨15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Felty}和\textit{A.Momigliano},J.Autom。推理48,No.1,43--105(2012;Zbl 1252.68252) 全文: 内政部