范德波尔（Jaco van de Pol）;汉斯·赞特马 广义最内层重写。 （英语） Zbl 1078.68068号 Giesl，Jürgen（编辑），术语重写和应用。2005年4月19日至21日在日本奈良举行的RTA 2005第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25596-6/pbk）。计算机科学课堂讲稿3467，2-16（2005）。 摘要：我们提出了最内层重写的两个推广，并证明了最内部重写的终止等价于广义最内层改写的终止。因此，通过在任意TRS中重写，可以允许某些非最内层的步骤，通过这些步骤，终止行为和效率通常会更好，但决不会比只进行最内层重写差。关于整个系列，请参见[Zbl 1070.68002号]. 引用于1文件 MSC公司： 2012年第68季度 语法和重写系统 软件：JITty公司 PDF格式BibTeX公司 XML格式引用 \textit{J.van de Pol}和\textit{H.Zantema}，莱克特。注释计算。科学。3467，2-16（2005年；兹比尔1078.68068） 全文： 内政部