于尔根·吉斯尔;科尼利厄斯·阿斯切尔曼;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 使用自动分析程序终止和复杂性AProVE公司. （英语） Zbl 1409.68255号 J.汽车。推理 58，第1期，3-31（2017）.MSC公司：68吨15 68甲15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Giesl}等人，J.Autom。推理58，No.1，3--31（2017；Zbl 1409.68255） 全文： 内政部
吉尔根·吉斯尔;马克·布罗克施密特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯维德斯基;雷内·蒂曼 用AProVE自动证明程序终止。 （英语） Zbl 1409.68256号 Demri，Stéphane（编辑）等人，《自动推理》。2014年7月19日至22日，第七届国际联合会议（IJCAR 2014）在奥地利维也纳举行，作为维也纳逻辑之夏的一部分，VSL 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8562, 184-191 (2014).MSC公司：68吨15 68甲15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Giesl}等人，Lect。注释计算。科学。8562、184--191（2014；Zbl 1409.68256） 全文： 内政部
彼得·施奈德·坎普;吉尔根·吉斯尔;托马斯·斯特罗德;亚历山大·塞雷布雷尼克;勒内，蒂曼 带cut的逻辑程序的自动终止分析。 （英语） Zbl 1209.68098号 理论与实践。日志。程序。 10，No.4-6，365-381（2010）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit｛P.Schneider Kamp｝等人，《理论与实践》。日志。程序。10、编号4--6365-381（2010；Zbl 1209.68098） 全文： 内政部 arXiv公司