TY  - RPRT
TI  - Another proof of undecidability for the correspondence decision problem - Had I been Emil Post
AU  - Vesa Halava
PY  - 2014
UR  - https://arxiv.org/abs/1411.5197
ID  - 1411.5197
ER  -