Quantifier Elimination for Real Algebra — the Quadratic Case and Beyond V. Weispfenning Pages: 85 - 101
A Generalization of Gröbner Basis Algorithms to Nilpotent Group Rings K. MadlenerB. Reinert Pages: 103 - 123