@文章{zbMATH01234513，作者={Baldoni、Matteo和Giordano、Laura和Martelli、Alberto}，标题={逻辑编程的一种模式扩展：{模块化}、信念和假设推理}，FJournal={逻辑与计算杂志}，日志={J.Log.Comput.}，ISSN={0955-792X}，体积={8}，数字={5}，页码={597--635}，年份={1998}，语言={英语}，DOI={10.1093/logcom/8.5.597}，关键词={68N17,03B70,03B45}，URL={semanticscholar.org/paper/28fd2e3462cdb99fc1c7ea5f4d1e977a15d33eda}，zbMATH={1234513}，Zbl={0916.68022}}