Birgit Jenner Pierre McKenzie Jacobo Torán A Note on the Hardness of Tree Isomorphism. 101-105 1998 IEEE Conference on Computational Complexity http://dlib.computer.org/conferen/coco/8395/pdf/83950101.pdf db/conf/coco/coco1998.html#JennerMT98