Marcus Hausdorf Werner M. Seiler Rainer Steinwandt Involutive Bases in the Weyl Algebra. 181-198 2002 34 J. Symb. Comput. 3 http://dx.doi.org/10.1006/jsco.2002.0556 db/journals/jsc/jsc34.html#HausdorfSS02