An algorithm for analysis of the structure of finitely presented Lie algebras. Gerdt, Vladimir P., Kornyak, Vladimir V. (1997) Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]