@第{zbMATH06804570条，作者={Mesnard，Fred and Payet，{E}tienne and Vidal，Germa，标题={逻辑编程中的一致性测试}，FJournal={逻辑程序设计理论与实践}，Journal={Theory-Pract.Log.Program.}，ISSN={1471-0684}，体积={15}，数字={4-5}，页码={711--725}，年份=｛2015｝，语言={英语}，DOI={10.1017/S1471068415000332}，关键词={68N17}，zbMATH={6804570}，Zbl={1379.68078}}