Involutive divisions and monomial orderings. - A. S. Semenov; P. A. Zyuzikov (Program. Comput. Softw., 2007)

Involutive divisions and monomial orderings: Part II. - A. S. Semenov; P. A. Zyuzikov (Program. Comput. Softw., 2008)