@InCollection{B8,
  key    =       {B08},
  author =	 {Christoph Benzm{\"u}ller and Chad E.~Brown and Michael Kohlhase},
  editor =       {Christoph Benzm{\"u}ller and Chad E.~Brown and J{\"o}rg Siekmann and Richard Statman},
  booktitle = 	 {{Festschrift in Honor of Peter B.~Andrews on His 70th Birthday}},
  chapter = 	 {Cut Elimination with Xi-Functionality},
  publisher = 	 {College Publications},
  year = 	 2008,
  series =	 {Studies in Logic, Mathematical Logic and Foundations},
}