Yao Sun, DingKang Wang, Xiaodong Ma, Yang Zhang. A signature-based algorithm for computing Gröbner bases in solvable polynomial algebras. In Joris van der Hoeven, Mark van Hoeij, editors, International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012. pages 351-358, ACM, 2012. [doi]
Abstract is missing.