Marjo Lipponen: On F-Prime Solutions of the Post Correspondence Problem. Developments in Language Theory 1995: 139-147