О проблеме вхождения для кольца многочленов

Пусть $f_0,f_1,\dots,f_k$ – многочлены от нескольких переменных над полем рациональных чисел. Существует алгоритм, позволяющий выяснить, принадлежит ли $f_0$ подкольцу, порожденному элементами $f_1,\dots,f_k$.
Библ. 4.