Pascal Ferraro, Christophe Godin: An Edit Distance between Quotiented Trees. Algorithmica 36(1): 1-39 (2003)