TY  - RPRT
TI  - Threefold Post Correspondence System
AU  - Sandor Vagvolgyi
PY  - 2013
UR  - https://arxiv.org/abs/1309.0633
ID  - 1309.0633
ER  -