Disjoint pattern matching and implication in strings
scientific article; zbMATH DE number 5778964