马里奥·阿尔维亚诺；卡明·多达罗；佛罗伦萨，萨尔瓦多；亚历山德罗·普雷维蒂；弗朗西斯科·里卡 ASP和子集极小性：枚举、谨慎推理和MUS。 （英语） 兹伯利07702961 Artif公司。智力。 320，文章ID 103931，25 p.（2023）.MSC公司：68次发射 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人，Artif。智力。320，文章ID 103931，25 p.（2023；Zbl 07702961） 全文： 内政部
卡明·多达罗；菲利普·加斯泰格；克里斯蒂安·雷亚尔；弗朗西斯科·里卡；康斯坦丁·舍科提欣 调试非地面ASP程序：技术和图形工具。 （英语） Zbl 1486.68025号 理论与实践。日志。程序。 19，第2号，290-316（2019）.MSC公司：68N17号 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{C.Dodaro}等人，《理论与实践》。日志。程序。19，第2290-316号（2019年；兹bl 1486.68025） 全文： 内政部 arXiv公司
卡明·多达罗；菲利普·加斯泰格；本杰明·穆西奇；弗朗西斯科·里卡；克斯特安提恩·什切科提金 非地面ASP程序的交互式调试。 （英语） Zbl 1467.68024号 Calimeri，Francesco（编辑）等人，《逻辑编程和非单调推理》。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9345, 279-293 (2015).MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit｛C.Dodaro｝等人，Lect。注释计算。科学。9345279--293（2015；Zbl 1467.68024） 全文： 内政部