Algorithmic and combinatorial algebra. - Kluwer Academic Publishers, 1994. - ( Mathematics and its Applications (Kluwer) ; 255).