An improved general \(E\)-unification method
scientific article; zbMATH DE number 97802
scientific article