## 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, }