TY  - RPRT
TI  - Refactoring = Substitution + Rewriting
AU  - Simon Thompson
AU  - Dániel Horpácsi
PY  - 2023
UR  - https://arxiv.org/abs/2211.11550
ID  - 2211.11550
ER  -