TY  - RPRT
TI  - (Generalized) Post Correspondence Problem and semi-Thue systems
AU  - Francois Nicolas
PY  - 2008
UR  - https://arxiv.org/abs/0802.0726
ID  - 0802.0726
ER  -