Decision problems for patterns
scientific article; zbMATH DE number 762156