TY  - RPRT
TI  - Undecidability in binary tag systems and the Post correspondence problem for four pairs of words
AU  - Turlough Neary
PY  - 2013
UR  - https://arxiv.org/abs/1312.6700
ID  - 1312.6700
ER  -