Solving \(*\)-problems modulo distributivity by a reduction to \(AC1\)- unification
scientific article; zbMATH DE number 563557