Alexander Semenov On Connection Between Constructive Involutive Divisions and Monomial Orderings. 261-278 2006 conf/casc/2006 CASC http://dx.doi.org/10.1007/11870814_22 db/conf/casc/casc2006.html#Semenov06