@Inproceedings{Casas09,
author = {Casas, José Manuel and Insua, Manuel A. and Ladra, Manuel and Ladra, S.},
title = {Algorithm for Testing the Leibniz Algebra Structure},
booktitle = {Proc.of the 12th International Conference on Computer Aided Systems Theory (EUROCAST 2009) LNCS 5717},
address = {Las Palmas de Gran Canaria},
year = {2009},
pages = {177-186}
}