@第{zbMATH06988661条，作者={Kafle、Bishoksan和Gallagher、John P.和Gange、Graeme和Schachte、Peter和S{o}ndergaard、Harald和Stuckey、Peter J.}，Title={使用约束{Horn}子句}进行前提推理的迭代方法，FJournal={逻辑程序设计理论与实践}，Journal={Theory-Pract.Log.Program.}，ISSN={1471-0684}，体积={18}，数字={3-4}，页码={553--570}，年份={2018年}，语言={英语}，DOI={10.1017/S1471068418000091}，关键词={68N30,03B70}，zbMATH＝{6988661}，Zbl={1451.68075}}