A Relation Algebra for Term Rewriting: A differential approach to sequential reduction (Revised Version). - Lorenzo Pace 002 (CoRR, 2023)