Anti-Unification for Unranked Terms and Hedges | Publicación