津巴萨坂田;西田，直木;坂部俊彦 通过从依赖图中消除边来证明约束项重写系统的终止性。 （英语） Zbl 1339.68141号 赫伯特·库欣（编辑），《函数和约束逻辑编程》。2011年WFLP第20届国际研讨会，丹麦欧登塞，7月19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22530-7/pbk）。计算机科学课堂讲稿6816，138-155（2011）。MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Sakata}等人，Lect。注释计算。科学。6816、138--155（2011年；Zbl 1339.68141） 全文： 内政部
Courtieu，Pierre皮埃尔;朱利安·福雷斯特;泽维尔·乌尔班 基于图而非图来证明终止标准。 （英语） Zbl 1165.68455号 Mohamed，Otmane Ait（编辑）等，《高阶逻辑中的定理证明》。2008年8月18日至21日在加拿大蒙特利尔举行的2008年第21届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71065-3/pbk）。计算机科学课堂讲稿5170183-198（2008）。MSC公司：第68页第15页 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.Courtieu}等人，Lect。注释计算。科学。5170183--198（2008年；Zbl 1165.68455） 全文： 内政部
米尔塔·利纳·费尔南德斯 关于用size-change终止证明重写的\（C_E\）-终止。 （英语） Zbl 1173.68544号 信息处理。莱特。 93，编号4155-162（2005）.MSC公司：第68季度第42季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.-L.Fernández}，Inf.过程。莱特。93，第4号，155--162（2005；Zbl 1173.68544） 全文： 内政部
碧姬·品特卡 验证高阶逻辑程序的终止和约简属性。 （英语） Zbl 1102.68648号 J.汽车。推理 34，第2期，179-207（2005）.MSC公司：第68页第15页 68号30 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{B.Pientka}，J.Autom（J·奥托姆）。推理34，No.2，179--207（2005；Zbl 1102.68648） 全文： 内政部
雷内·蒂曼;吉尔根·吉斯尔 用于终止术语重写的大小更改原则和依赖项对。 （英语） Zbl 1101.68640号 申请。代数工程通讯。计算。 16，第4期，229-270（2005）.MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Thiemann}和\textit{J.Giesl}，应用。代数工程通讯。计算。16，第4号，229--270（2005；Zbl 1101.68640） 全文： 内政部