Optimal normalization in orthogonal term rewriting systems (1993)

by Zurab Khasidashvili
Venue:of Lecture Notes in Computer Science