The structure of infinite solutions of marked and binary Post correspondence problems
scientific article; zbMATH DE number 5126655