Vesa Halava, Tero Harju, Juhani Karhumäki. Decidability of the binary infinite Post Correspondence Problem. Discrete Applied Mathematics, 130(3):521-526, 2003. [doi]
@article{HalavaHK03,
title = {Decidability of the binary infinite Post Correspondence Problem},
author = {Vesa Halava and Tero Harju and Juhani Karhumäki},
year = {2003},
doi = {10.1016/S0166-218X(03)00330-5},
url = {http://dx.doi.org/10.1016/S0166-218X(03)00330-5},
researchr = {https://researchr.org/publication/HalavaHK03},
cites = {0},
citedby = {0},
journal = {Discrete Applied Mathematics},
volume = {130},
number = {3},
pages = {521-526},
}