\(E\)-unification with constants vs. general \(E\)-unification
scientific article; zbMATH DE number 6062066