Nao Hirokawa;阿尔特·米德尔多普 筑波端接工具。 （英语） Zbl 1038.68561号 Nieuwenhuis，Robert（编辑），重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40254-3/pbk）。莱克特。注释计算。科学。2706, 311-320 (2003). 摘要：我们提出了一种自动证明一阶重写系统终止的工具。该工具基于Arts and Giesl的依赖项对方法。它包含了几个新的想法，使该方法更加有效。该工具可以产生高质量的输出，并具有方便的web界面。有关整个系列，请参见[Zbl 1029.00060号]. 引用于5文件 MSC公司： 2012年第68季度 语法和重写系统 68吨15 定理证明（演绎、解析等）（MSC2010） 软件：筑波 PDF格式BibTeX公司 XML格式引用 \textit{N.Hirokawa}和\textit{A.Middeldorp}，莱克特。注释计算。科学。2706311--320（2003年；Zbl 1038.68561） 全文： 链接