Computational semantics of term rewriting systems (1985)

by G Boudol
Venue:The Maude 2.0 system. In R. Nieuwenhuis, editor, Rewriting Techniques and Applications (RTA 2003), number 2706 in Lecture Notes in Computer Science