米克尔波菲尔;阿尔伯特·鲁比奥 具有非单调排序和简化的互调。 (英语) Zbl 1315.03017号 J.汽车。推理 50,第1期,51-98(2013).MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bofill}和\textit{A.Rubio},J.Autom。推理50,No.1,51--98(2013;Zbl 1315.03017) 全文: 内政部
Jose Gaintzarain;蒙特塞拉特赫莫;帕基·卢西奥;玛丽莎·纳瓦罗;费尔南多·奥雷贾斯 无不变子句时间解析。 (英语) Zbl 1408.03006号 J.汽车。推理 50,第1期,1-49页(2013年).MSC公司:03B35型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gaintzarain}等人,J.Autom。推理50,No.1,1-49(2013;Zbl 1408.03006) 全文: 内政部
詹姆斯·布里奇。;劳伦斯·查尔斯·保尔森 实值特殊函数自动定理证明器中的格分裂。 (英语) Zbl 1361.68187号 J.汽车。推理 50,第1期,99-117(2013).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Bridge}和\textit{L.C.Paulson},J.Autom。推理50,No.1,99--117(2013;Zbl 1361.68187) 全文: 内政部