Algorithmic and combinatorial algebra - Bokut, L. A. (Leonid A.); Kukin, G. P (Mathematics and its applications, 1994)