Irène Durand, Géraud Sénizergues, Marc Sylvestre. Termination of linear bounded term rewriting systems. In Christopher Lynch, editor, Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK. Volume 6 of LIPIcs, pages 341-356, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. [doi]
Abstract is missing.