Publication details

@INCOLLECTION{BBK07,
  title = {Cut Elimination with xi-Functionality},
  author = {Christoph E. Benzmüller and Chad E. Brown and Michael Kohlhase},
  year = {2008},
  booktitle = {Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday},
}