Cut Elimination with Xi-Functionality (bibtex)
by Christoph Benzmüller, Chad Brown, Michael Kohlhase
Reference:
Cut Elimination with Xi-Functionality (Christoph Benzmüller, Chad Brown, Michael Kohlhase), Chapter in Reasoning in Simple Type Theory --- Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Christoph Benzmüller, Chad Brown, Jörg Siekmann, Richard Statman, eds.), College Publications, Studies in Logic, Mathematical Logic and Foundations, pp. 84-100, 2008. (Preprint: http://christoph-benzmueller.de/papers/B8.pdf)
Bibtex Entry:
@incollection{B8,
  Author =	 {Christoph Benzm{\"u}ller and Chad Brown and Michael
                  Kohlhase},
  Booktitle =	 {Reasoning in Simple Type Theory --- Festschrift in
                  Honor of Peter B.~Andrews on His 70th Birthday},
  Editor =	 {Christoph Benzm{\"u}ller and Chad Brown and J{\"o}rg
                  Siekmann and Richard Statman},
  Isbn =	 {978-1-904987-70-3},
  Keywords =	 {own, Higher Order Logic},
  Pages =	 {84-100},
  Publisher =	 {College Publications},
  Series =	 {Studies in Logic, Mathematical Logic and
                  Foundations},
  Title =	 {Cut Elimination with Xi-Functionality},
  Note =	 {Preprint:
                  \url{http://christoph-benzmueller.de/papers/B8.pdf}},
  Year =	 2008,
}