Poincaré-Birkhoff-Witt theorem for Leibniz n. - José Manuel Casas; Manuel A. Insua; Manuel Ladra (J. Symb. Comput., 2007)

A note on Gröbner bases and Berlekamp's algorithm. - Manuel A. Insua; Manuel Ladra (Appl. Math. Comput., 2008)

Algorithm for Testing the Leibniz Algebra Structure. - José Manuel Casas; Manuel A. Insua; Manuel Ladra; Susana Ladra (EUROCAST, 2009)

Gröbner bases in universal enveloping algebras of Leibniz algebras. - Manuel A. Insua; Manuel Ladra (J. Symb. Comput., 2009)