zbMATH中的参考文献（参考 13篇文章，1标准件)

1. Iborra，José；Nishida，Naoki；Vidal，Germanán；Yamada，Akihisa：通过依赖关系对的相对终止（2017）
2. Iborra，José；Nishida，Naoki；Vidal，Germanán；Yamada，Akishisa：减少依赖对问题的相对终止（2015）
3. Sternagel，Christian；Thiemann，René：模块化和认证语义标记和取消标记（2011）
4. Nishida，Naoki；Vidal，Germanán:通过终止重写终止缩小范围（2010）
5. 杜兰，弗朗西斯科；卢卡斯，萨尔瓦多；梅斯盖尔，何塞：通过转换证明基于重写的编程语言终止的方法（2009）
6. Adam Koprowski，Adam；Waldmann，Johannes:终止术语重写的Max/Plus树自动机（2009）
7. Zankl，Harald；Sternagel，Christian；Middeldorp，Aart：将SAT转化为重写的终止（2009）
8. Koprowski，Adam；Zantema，Hans:通过矩阵解释证明术语重写终止的证明（2008）
9. Lucas，萨尔瓦多；Meseguer，José：术语重写中公正/公平计算的终止（2008）
10. 蒂曼，勒内；米德尔多普，Aart：通过标签重写系统的最内层终止（2008）
11. Hirokawa，Nao；Middeldorp，Aart:Tyrolean终端工具：技术和特性（2007）
12. Giesl，Jürgen；Thiemann，René；Schneider Kamp，Peter；Falke，Stephan:机械化和改进依赖对（2006）
13. Koprowski，Adam:TPA:自动证明终止（2006年）