@第{zbMATH06062055条，作者={Brillout、Angelo和Kroening、Daniel和R、Philipp和Wahl、Thomas}，Title={无量词{Presburger}算法}的插值序列演算，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={47}，数字={4}，页码={341--367}，年份={2011}，语言={英语}，DOI={10.1007/s10817-011-9237-y}，关键词={03B70,03C40,03F07,03F30,68Q60,68T15}，URL={ora.ox.ac.uk/objects/uuid:0076e3c3-c779-45fe-95e0-1f390f573e1a}，zbMATH={6062055}，Zbl={1259.03043}}