On the algorithm of Berztiss for tree pattern matching | IEEE Conference Publication | IEEE Xplore