TY  - RPRT
TI  - A Note on a Unifying Proof of the Undecidability of Several Diagrammatic Properties of Term Rewriting Systems
AU  - António Malheiro
AU  - Paulo Guilherme Santos
PY  - 2019
UR  - https://arxiv.org/abs/1910.09254
ID  - 1910.09254
ER  -