Patrik Nordbeck On the Finiteness of Gröbner Bases Computation in Quotients of the Free Algebra. 157-180 2001 11 Appl. Algebra Eng. Commun. Comput. 3 http://link.springer.de/link/service/journals/00200/bibs/1011003/10110157.htm db/journals/aaecc/aaecc11.html#Nordbeck01