@收款{zbMATH05036416，作者={Maher，Michael J.}，标题={线性算术约束的推导}，BookTitle={逻辑编程。第21届国际会议，2005年ICLP，西班牙Sitges，2005年10月2--5日。会议记录。}，国际标准图书编号={3-540-29208-X}，页码={174--188}，年份={2005}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/11562931}，关键词={68T20,68N17,68T27}，zbMATH={5036416}，Zbl={1165.68493}}