Non-associative gröbner bases, finitely-presented lie rings and the engel condition. - Serena Cicalò; Willem A. de Graaf (ISSAC, 2007)

Non-associative Gröbner bases, finitely-presented Lie rings and the Engel condition, II. - Serena Cicalò; Willem A. de Graaf (J. Symb. Comput., 2009)