Examples of undecidable problems for 2-generator matrix semigroups
scientific article; zbMATH DE number 1238861