Unification in the union of disjoint equational theories: Combining decision procedures
scientific article; zbMATH DE number 906770
scientific article