@诉讼中{10.1007/978-3-642-02348-4_20，author=“费利克斯·舍恩哈默和Gramlich，Bernhard”，editor=“Treinen，Ralf”，title=“VMTL——模块化终端实验室”，booktitle=“重写技巧与应用”，年=“2009”，publisher=“施普林格-柏林-海德堡”，address=“柏林，海德堡”，pages=“285--294”，abstract=“在过去的几十年里，术语重写系统（TRS）终止的自动分析引起了科学界的广泛关注，为此开发了许多不同的方法和途径。我们介绍了VMTL（维也纳模块化终止实验室）是一种工具，实现了一些最新且功能强大的算法，用于TRS的终止分析，同时提供了一个开放接口，允许用户根据广泛采用的依赖对框架，以模块化方式轻松插入新算法。除了模块化可扩展性外，VMTL侧重于分析条件项重写系统（CTRS）的终止行为。使用最新的转换技术之一，使用专用算法处理由此产生的受限终止问题（对于无条件上下文敏感TRS）。",isbn=“978-3-642-02348-4”}