@InCollection{B8,
  key    =       {B08},
  author =	 {Christoph Benzm{\"u}ller and Chad Brown and Michael Kohlhase},
  editor =       {Christoph Benzm{\"u}ller and Chad Brown and J{\"o}rg Siekmann and Rick Statman},
  title = 	 {Festschrift in honour of {Peter B.~Andrews} on his 70th Birthday},
  chapter = 	 {Cut Elimination with Xi-Functionality},
  publisher = 	 {IFCoLog},
  year = 	 2008,
  series =	 {Studies in Logic and the Foundations of Mathematics},
  note =	 {To appear}
}