@第{zbMATH05874565条，作者={Albert、Elvira和Arenas、Puri和Genaim、Samir和Puebla、Germ，标题={静态成本分析中的闭式上界}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={46}，数字={2}，页码={161--203}，年份={2011}，语言={英语}，DOI={10.1007/s10817-010-9174-1}，关键词={68N30,68N01}，zbMATH＝{5874565}，Zbl={1213.68200}}