Simple tree pattern matching for trees in the prefix bar notation
scientific article; zbMATH DE number 6484134