Complexity Analysis of Term-Rewriting Systems

Christine Choppy, Stéphane Kaplan, Michèle Soria. Complexity Analysis of Term-Rewriting Systems. Theoretical Computer Science, 67(2&3):261-282, 1989.

Abstract

Abstract is missing.