1. An introduction to Gröbner bases;Adams,1994
2. The Magma algebra system. I. The user language;Bosma;J. Symbolic Comput.,1997
3. Non-associative gröbner bases, finitely-presented Lie rings and the engel condition;Cicalò,2007
4. GAP, 2004. GAP–Groups, Algorithms, and Programming, Version 4.4. The GAP Group. http://www.gap-system.org
5. Construction of finitely presented Lie algebras and superalgebras;Gerdt;J. Symbolic Comput.,1996