Constructing Bases of Finitely Presented Lie Algebras Using Gröbner Bases in Free Algebras. - Willem A. de Graaf; J. Wisliceny (ISSAC, 1999)