吉尔根·吉斯尔;科尼利厄斯·阿斯切尔曼;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 使用自动分析程序终止和复杂性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日，作为2014年维也纳逻辑之夏VSL的一部分，在奥地利维也纳举行了第七届国际联合会议，IJCAR。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8562, 184-191 (2014).MSC公司：68吨15 68甲15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Giesl}等人，Lect。注释计算。科学。8562184-191（2014年；兹比尔1409.68256） 全文： 内政部
弗朗西斯科·杜兰;萨尔瓦多卢卡斯;克劳德·马奇;何塞·梅塞盖尔;泽维尔·乌尔班 证明会员资格等同计划的操作终止。 （英语） Zbl 1192.68154号 高-订购符号。计算。 21，编号1-2，59-88（2008）。MSC公司：68N99型 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人，高-订购符号。计算。21，编号1--2，59-88（2008；Zbl 1192.68154） 全文： 内政部 链接
萨尔瓦多卢卡斯 通过转换证明上下文敏感重写的终止。 （英语） Zbl 1171.68514号 Inf.计算。 204，第12期，1782-1846（2006）。MSC公司：2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}，Inf.计算。204，第12号，1782-1846（2006；Zbl 1171.68514） 全文： 内政部