A new algorithm for linear regular tree pattern matching
scientific article; zbMATH DE number 1493355