An Involutive GVW Algorithm and the Computation of Pommaret Bases - - Computer Algebra in Scientific Computing 2020 doi 2020-09 Article type Conference