Groebner-Shirshov basis for HNN extensions of groups and for the   alternating group
  In this paper, we generalize the Shirshov's Composition Lemma by replacing the monomial order for others. By using Groebner-Shirshov bases, the normal forms of HNN extension of a group and the alternating group are obtained. 
Yuqun Chen and Chanyan Zhong