Rewriting on cyclic structures (1998)

by A Corradini, F Gadducci
Venue:Extended abstract in Fixed Points in Computer Science, satellite workshop of MFCS'98