Fabio Gadducci, Ugo Montanari
Comparing logics for rewriting: rewriting logic, action calculi and tile logic
WRLA, 2002.
@article{WRLA-J-1996-GadducciM02,
author = "Fabio Gadducci and Ugo Montanari",
doi = "10.1016/S0304-3975(01)00362-0",
journal = "{Theor. Comput. Sci}",
number = 2,
pages = "319--358",
title = "{Comparing logics for rewriting: rewriting logic, action calculi and tile logic}",
volume = 285,
year = 2002,
}