ZBMaX中的参考文献（13篇）1标准条款）

1. 伊沃拉，约书亚；西田，Naoki；维达尔，格尔曼；山田，阿希希亚：通过依赖对相对终止（2017）
2. 伊沃拉，约书亚；西田，Naoki；维达尔，格尔曼；山田，阿基希亚：减少相对终止对依赖对的问题（2015）
3. TynAGEL，基督教；Teimman，ReEe:模块化和认证的语义标记和未标记（2011）
4. Nishida，Naoki；维达尔，GeaMnn:终止重写终止缩小（2010）
5. 杜拉恩，弗朗西斯科；卢卡斯，萨尔瓦多；MeSeGuer-Joe:用改写证明基于改写的程序设计语言的终止方法（2009）
6. Koprowski，亚当；瓦尔德曼，Johannes：马克斯/优树自动机终止术语重写（2009）
7. 赞克尔，哈拉尔德；斯特纳格尔，克里斯蒂安；MIDeldop，AART:把SAT转换为改写终止（2009）
8. Koprowski，亚当；赞塔玛，汉斯：用矩阵解释证明术语重写终止的证明（2008）
9. 卢卡斯，萨尔瓦多；MeeGuer-Joe:术语重写中公正/公平计算的终止（2008）
10. 蒂曼，任美，MIDDeldop，AART:通过标签进行重写系统的最内层终止（2008）
11. Hirokawa，Nao；MIDeldop，AART: TyROLY终端工具：技术和特性（2007）
12. Schneider Kamp，彼得，福克，Stephan：机械化和改进依赖对（2006）
13. Koprowski，亚当：TPA:终止自动证明（2006）