佩德罗·卡巴拉尔;豪尔赫·范丁诺;尤利娅·利勒 模块化答案集编程是一种形式规范语言。 （英语） 兹伯利1468.68119 理论与实践。日志。程序。 20，第5期，767-782（2020年）.MSC公司：60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人，《理论与实践》。日志。程序。20，第5号，767--782（2020；Zbl 1468.68119） 全文： 内政部 arXiv公司
佩德罗·卡巴拉尔;豪尔赫·范丁诺 逻辑程序因果证明中的使能器和抑制器。 （英语） Zbl 1357.68029号 Calimeri，Francesco（编辑）等人，《逻辑编程和非单调推理》。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。查姆：施普林格（ISBN 978-3-319-23263-8/pbk；978-3-3169-23264-5/pbk）。计算机科学9345课堂讲稿。《人工智能课堂讲稿》，199-212（2015）。 审核人：马里奥·阿尔维亚诺（伦德） MSC公司：68N17号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit｛P.Cabalar｝和\textit｛J.Fandinno｝，Lect。注释计算。科学。9345，199--212（2015；Zbl 1357.68029） 全文： 内政部 arXiv公司