佩德罗·卡巴拉尔;罗兰·卡明斯基;托尔斯滕·绍布;安娜·舒曼 有限迹上的时态答案集编程。 (英语) Zbl 1451.68256号 理论与实践。日志。程序。 18,编号3-4,406-420(2018).MSC公司:68T27型 03B44号 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,《理论与实践》。日志。程序。18、编号3--4、406--420(2018;Zbl 1451.68256) 全文: 内政部 arXiv公司
佩德罗·卡巴拉尔;豪尔赫·范丁诺;路易斯·法利尼亚斯·德尔·塞罗;大卫·皮尔斯 具有内涵集的功能ASP:在Gelfond Zhang骨料中的应用。 (英语) Zbl 1451.68255号 理论与实践。日志。程序。 18,编号3-4,390-405(2018).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,《理论与实践》。日志。程序。18,编号3-4-390-405(2018;兹bl 1451.68255) 全文: 内政部 arXiv公司