Zur algorithmischen Zerlegung polynomialer Gleichungssysteme - Steinwandt, Rainer (Universität Karlsruhe, 2000)