Relating two categorical models of term rewriting (1995)

by A Corradini, F Gadducci, U Montanari
Venue:Rewriting Techniques and Applications, 6th International Conference, number 914 in Lecture Notes in Computer Science