@InCollection{Bai97,
  author = 	 {C.~Baier},
  title = 	 {Trees and Semantics},
  booktitle = 	 {Theoretical Computer Science},
  OPTpages = 	 {217-250},
  OPTyear = 	 {1997},
  OPTvolume = 	 {179}
}