Using DNA to solve the bounded Post correspondence problem
scientific article; zbMATH DE number 1495197