@收款{zbMATH06623285，作者={Frohn，F.和Naaf，M.和Hensel，J.以及Brockschmidt，M.和Giesl，J.}，Title={整数程序的运行时下限}，BookTitle={自动推理。第八届国际联合会议，2016年6月27日至7月2日，葡萄牙科英布拉，IJCAR 2016。诉讼}，国际标准图书编号={978-3-319-40228-4；978-3-3169-40229-1}，页码={550--567}，年份={2016年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-40229-1_37}，关键词={68Q17,90C10}，zbMATH={6623285}，Zbl={1475.68134}}