乔瓦姆巴蒂斯塔·伊安尼;弗朗西斯科·帕琴察;Jessica Zangari 通过定制的简化对过度接地逻辑程序进行增量维护。 (英语) Zbl 1468.68223号 理论与实践。日志。程序。 20,第5期,719-734(2020).MSC公司:68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{G.Ianni}等人,《理论与实践》。日志。程序。20,编号5,719--734(2020;Zbl 1468.68223) 全文: 内政部 arXiv公司
弗朗西斯科·卡利默里;乔瓦姆巴蒂斯塔·伊安尼;弗朗西斯科·帕琴察;西蒙娜·佩里;Jessica Zangari 带有过接地的增量答案集编程。 (英语) Zbl 1434.68555号 理论与实践。日志。程序。 19,编号5-6,957-973(2019).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Calimeri}等人,理论与实践。日志。程序。19,编号5--6,957--973(2019;Zbl 1434.68555) 全文: 内政部 arXiv公司