Algorithmic complexity of term rewriting systems (1987)

by C Choppy, S Kaplan, M Soria
Venue:Proc. of the Second International Conference on Rewriting Techniques and Applications