Complexity of Deciding Syntactic Equivalence up to Renaming for Term Rewriting Systems (Extended Version). - Michael Christian Fink Amores; David Sabel (CoRR, 2021)