Tree pattern matching with a more general notion of occurrence of the pattern.
scientific article; zbMATH DE number 1856358