Variant-based Equational Unification under Constructor Symbols | Publicación