Samuel R. Buss Alogtime Algorithms for Tree Isomorphism, Comparison, and Canonization. 18-33 1997 conf/kgc/1997 Kurt Gödel Colloquium db/conf/kgc/kgc97.html#Buss97