More efficient bottom-up multi-pattern matching in trees

From MaRDI portal
Publication:685356