1. Lothar Gerritzen, Tree polynomials and non-associative Gröbner bases, J. Symbolic Comput. 41 (2006), no. 3-4, 297–316.[MR]