https://123dok.net/document/q7wo280d-addressed-term-rewriting-systems.html