Unification theorems in algebraic geometry - E. Daniyarova; A. Myasnikov; V. Remeslennikov (2008)