Marjo Lipponen
On F-Prime Solutions of the Post Correspondence Problem
DLT, 1995.
@inproceedings{DLT-1995-Lipponen,
author = "Marjo Lipponen",
booktitle = "{Proceedings of the Second International Conference on Developments in Language Theory: At the Crossroads of Mathematics, Computer Science and Biology}",
isbn = "981-02-2682-9",
pages = "139--147",
publisher = "{World Scientific}",
title = "{On F-Prime Solutions of the Post Correspondence Problem}",
year = 1995,
}