Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
scientific article; zbMATH DE number 1780624
scientific article