@第{zbMATH01238718条，作者={Bensaou，N.和Guessarian，I.}，标题={转换约束逻辑程序}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={206}，数字={1-2}，页码={81--125}，年份={1998}，语言={英语}，DOI={10.1016/S0304-3975（97）00077-7}，关键词={68N17}，zbMATH＝{1238718}，Zbl={0913.68042}}