马塞多,努诺;朱利安·布鲁内尔;戴维·谢穆伊尔;阿尔西诺·库尼亚 Pardinus:时间关系模型查找器。 (英语) Zbl 1512.68158号 J.汽车。推理 66,第4号,861-904(2022).MSC公司:60年第68季度 03B44号 68分20秒 PDF格式BibTeX公司 XML格式引用 \textit{N.Macedo}等人,J.Autom。推理66,No.4,861--904(2022;Zbl 1512.68158) 全文: 内政部 哈尔
克莱森,科恩;安·利利斯特罗姆 在一阶自动推理中处理传递关系。 (英语) Zbl 07461266号 J.汽车。推理 65,第8期,1097-1124(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{K.Claessen}和\textit{A.Lillieström},J.Autom。推理65,No.8,1097--1124(2021;Zbl 07461266) 全文: 内政部
马克西米利亚诺·克里斯蒂亚;吉安弗兰科·罗西 求解有限集和二元关系上的无量词一阶约束。 (英语) 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) 全文: 内政部