Non-disjoint combined unification and closure by equational paramodulation
scientific article; zbMATH DE number 7497914
scientific article