New algorithms for editing distance between trees