Susan M. Hermiller Jonathan P. Mccammond Noncommutative Gröbner Bases for the Commutator Ideal. 187-202 2006 16 IJAC 1 http://dx.doi.org/10.1142/S0218196706002834 db/journals/ijac/ijac16.html#HermillerM06