Joachim Apel A Gröbner Approach to Involutive Bases. 441-457 1995 19 J. Symb. Comput. 5 db/journals/jsc/jsc19.html#Apel95