Franz Pauer Sandro Zampieri Gröbner Bases with Respect to Generalized Term Orders and their Application to the Modelling Problem. 155-168 1996 21 J. Symb. Comput. 2 db/journals/jsc/jsc21.html#PauerZ96