1. Serena Cicalò and Willem A. de Graaf, Non-associative Gröbner bases, finitely-presented Lie rings and the Engel condition: II, J. Symbolic Comput. 44 (2009), no. 7, 786–800.