弗洛里安·弗洛恩；吉尔根·吉斯尔；杰拉·亨塞尔；科尼利厄斯·阿斯切尔曼；托马斯·斯特罗德 术语重写的运行时复杂性的下限。 （英语） Zbl 1409.68254号 J.汽车。推理 59，第1期，121-163（2017）.MSC公司：68吨15 2017年第68季度 65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Frohn}等人，J.Autom。推理59，No.1，121--163（2017；Zbl 1409.68254） 全文： 内政部
弗罗恩。；M.纳夫。；亨塞尔，J。；布罗克施米特，M。；J·吉斯尔。 整数程序的运行时下限。 （英语） Zbl 1475.68134号 Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 550-567 (2016).MSC公司：2017年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Frohn}等人，Lect。注释计算。科学。9706550-567（2016；Zbl 1475.68134） 全文： 内政部 arXiv公司