A note on the hardness of tree isomorphism | IEEE Conference Publication | IEEE Xplore