Organization of branchings for solving unification problems by correcting algorithms - Gol'dengorin, B. I.