Groebner-Shirshov Bases for Lie Algebras: after A. I. Shirshov
  In this paper, we review Shirshov's method for free Lie algebras invented by him in 1962 which is now called the Groebner-Shirshov bases theory. 
L. A. Bokut and Yuqun Chen