Vesa Halava, Tero Harju, Mika Hirvensalo. Generalized Post Correspondence Problem for Marked Morphisms. IJAC, 10(6):757-772, 2000. [doi]
@article{HalavaHH00,
title = {Generalized Post Correspondence Problem for Marked Morphisms},
author = {Vesa Halava and Tero Harju and Mika Hirvensalo},
year = {2000},
doi = {10.1142/S0218196700000376},
url = {http://dx.doi.org/10.1142/S0218196700000376},
researchr = {https://researchr.org/publication/HalavaHH00},
cites = {0},
citedby = {0},
journal = {IJAC},
volume = {10},
number = {6},
pages = {757-772},
}