Exact and approximate algorithms for unordered tree matching | IEEE Journals & Magazine | IEEE Xplore