Variant-Based Equational Anti-unification | Publicación