Non-commutative Groebner bases in algebras of solvable type - Kandri-Rody, Abdelilah; Weispfenning, Volker 1944- (1988)