@InProceedings{stacs2002,
  author = 	 {Baeten, J.C.M. and Vink, E.P. de},
  title = 	 {Axiomatizing GSOS with Termination},
  booktitle = 	 {Proc.\ STACS~2002},
  pages =	 {583--595},
  year =	 2002,
  editor =	 {H. Alt and A. Ferreira},
  publisher =	 {LNCS~2295}
}