An algorithm for general set unification and its complexity
scientific article; zbMATH DE number 1282777