Pascal Ferraro Christophe Godin An Edit Distance between Quotiented Trees. 1-39 2003 36 Algorithmica 1 http://dx.doi.org/10.1007/s00453-002-1002-5 db/journals/algorithmica/algorithmica36.html#FerraroG03