乌埃尔、古雷;大卫·托曼 基于自动机的决策过程的逻辑编程方法。 (英语) Zbl 1353.68039号 J.日志。阿尔盖布。方法计划。 86,第1号,391-407(2017).MSC公司:68N17号 03B25号 05年3月 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Unel}和\textit{D.Toman},J.Log。阿尔盖布。方法计划。86,第1号,391--407(2017;Zbl 1353.68039) 全文: 内政部
乌埃尔、古雷 一元二阶逻辑的增量推理与逻辑编程。 (英语) Zbl 1351.68056号 J.日志。阿尔盖布。方法计划。 85,第2号,316-331(2016).MSC公司:68N17号 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Unel},J.Log。阿尔盖布。方法计划。85,No.2,316--331(2016;Zbl 1351.68056) 全文: 内政部