Effective Filters and Linear Time Verification for Tree Similarity Joins | IEEE Conference Publication | IEEE Xplore