TY  - RPRT
TI  - Complexity of Deciding Syntactic Equivalence up to Renaming for Term Rewriting Systems (Extended Version)
AU  - Michael Christian Fink Amores
AU  - David Sabel
PY  - 2022
UR  - https://arxiv.org/abs/2106.13520
ID  - 2106.13520
ER  -