Solvable set/hyperset contexts. II: A goal-driven unification algorithm for the blended case
scientific article; zbMATH DE number 1294579