@Book{E11,
  key    =       {E11},
  editor =       {Christoph Benzm{\"u}ller and Chad E.~Brown and J{\"o}rg Siekmann and Richard Statman},
  title = 	 {{Reasoning in Simple Type Theory -- Festschrift in Honor of Peter B.~Andrews on His 70th Birthday}},
  publisher = 	 {College Publications},
  year = 	 2008,
  series =	 {Studies in Logic, Mathematical Logic and Foundations},
  note =	 {ISBN 978-1-904987-70-3},
  pages = {460}
}