@第{zbMATH05665088条，作者={Subramani，K.}，Title={差分约束系统的最优长度分辨反驳}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积＝{43}，数字={2}，页码={121--137}，年份={2009}，语言={英语}，DOI={10.1007/s10817-009-9139-4}，关键词={68T15}，zbMATH={5665088}，Zbl={1184.68468}}