Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (0)

by Fabio Gadducci, Ugo Montanari
Venue:Theoretical Computer Science