@第{zbMATH01863798条，作者={Jeavons，Peter G.和Cooper，Martin C.}，标题={有序域上的可牵引约束}，FJournal＝{人工智能}，Journal＝｛Artifact.Intell.｝，ISSN={0004-3702}，体积={79}，数字＝｛2｝，页码={327--339}，年份={1995}，语言={英语}，DOI={10.1016/0004-3702（95）00107-7}，关键词={68Q25,68T20,68Q17}，zbMATH＝{1863798}，Zbl={1013.68503}}