Vesa Halava, Tero Harju, Juhani Karhumäki. The Structure of Infinite Solutions of Marked and Binary Post Correspondence Problems. Theory Comput. Syst., 40(1):43-54, 2007. [doi]
@article{HalavaHK07:0,
title = {The Structure of Infinite Solutions of Marked and Binary Post Correspondence Problems},
author = {Vesa Halava and Tero Harju and Juhani Karhumäki},
year = {2007},
doi = {10.1007/s00224-005-1222-6},
url = {http://dx.doi.org/10.1007/s00224-005-1222-6},
researchr = {https://researchr.org/publication/HalavaHK07%3A0},
cites = {0},
citedby = {0},
journal = {Theory Comput. Syst.},
volume = {40},
number = {1},
pages = {43-54},
}