Relating Two Categorical Models of Term Rewriting (1995)

by A. Corradini, F. Gadducci, U. Montanari
Venue:Rewriting Techniques and Applications, volume 914 of LNCS