Effective Filters and Linear Time Verification for Tree Similarity Joins. - Thomas Hütter; Mateusz Pawlik 001; Robert Loschinger; Nikolaus Augsten (ICDE, 2019)