佩德罗·卡巴拉尔;豪尔赫·范丁诺;托尔斯滕·绍布;塞巴斯蒂安·谢尔霍恩 下限建立了这里那里的逻辑。 （英语） Zbl 1525.68158号 Calimeri，Francesco（编辑）等人，《人工智能中的逻辑》。2019年5月7日至11日，意大利伦德，第16届欧洲会议，JELIA 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11468, 509-525 (2019).MSC公司：68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人，Lect。注释计算。科学。11468509-525（2019年；兹比尔1525.68158） 全文： 内政部 链接
佩德罗·卡巴拉尔;豪尔赫·范丁诺;托尔斯滕·绍布;塞巴斯蒂安·谢尔霍恩 Gelfond-Zhang聚合为命题公式。 （英语） Zbl 1478.68363号 Artif公司。智力。 274, 26-43 (2019).MSC公司：68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人，Artif。因特尔。274、26-43（2019年；Zbl 1478.68363） 全文： 内政部
佩德罗·卡巴拉尔;豪尔赫·范丁诺;托尔斯滕·绍布;塞巴斯蒂安·谢尔霍恩 Gelfond-Zhang聚合为命题公式。 （英语） Zbl 1491.68198号 Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10377, 117-131 (2017).MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人，Lect。注释计算。科学。10377、117--131（2017；Zbl 1491.68198） 全文： 内政部 链接