Super-stationary set, subword problem and the complexity
scientific article; zbMATH DE number 5644959