1. Lect Notes Comput Sci;R. Bruni,1999
2. A. Corradini and F. Gadducci. An algebraic presentation of term graphs, via gsmonoidal categories. Applied Categorical Structures, 1998. To appear.
3. A. Corradini and F. Gadducci. Rewriting on cyclic structures. Technical Report TR-98-05, Dipartimento di Informatica, Pisa, 1998. Extended abstract in Fixed Points in Computer Science, satellite workshop of MFCS’98.
4. F. Gadducci. On the Algebraic Approach to Concurrent Term Rewriting. PhD thesis, University of Pisa-Department of Computer Science, 1996.
5. Lect Notes Comput Sci;F. Gadducci,1998