Variant-based equational anti-unification
scientific article; zbMATH DE number 7691340