The unification type of the Pythagorean equation in varieties of nilpotent rings. - G. Belitskii; Ruvim Lipyanski (J. Symb. Comput., 2006)